Formal Object-Oriented User-Interface Design

Andrew Hussey. Formal Object-Oriented User-Interface Design. In 12th Australian Software Engineering Conference (ASWEC 2000), 28-30 April 2000, Canberra, Australia. pages 129-138, IEEE Computer Society, 2000. [doi]