Specifying the UQ* user-interface with Object-Z

Andrew Hussey, David A. Carrington. Specifying the UQ* user-interface with Object-Z. In 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC 97 / ICSC 97), 2-5 December 1997, Clear Water Bay, Hong Kong. pages 374, IEEE Computer Society, 1997. [doi]

Authors

Andrew Hussey

This author has not been identified. Look up 'Andrew Hussey' in Google

David A. Carrington

This author has not been identified. Look up 'David A. Carrington' in Google