Kalyani Singh, Brent Auernheimer. Formal Specification of Multi-Window User Interface in PVS. In Constantine Stephanidis, editor, HCI International 2016 - Posters' Extended Abstracts - 18th International Conference, HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I. Volume 617 of Communications in Computer and Information Science, pages 144-149, Springer, 2016. [doi]
Abstract is missing.