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.
No references recorded for this publication.
No citations of this publication recorded.