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]
@inproceedings{HusseyC97:0,
title = {Specifying the UQ* user-interface with Object-Z},
author = {Andrew Hussey and David A. Carrington},
year = {1997},
url = {http://csdl.computer.org/comp/proceedings/apsec/1997/8271/00/82710374abs.htm},
tags = {meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/HusseyC97%3A0},
cites = {0},
citedby = {0},
pages = {374},
booktitle = {4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC 97 / ICSC 97), 2-5 December 1997, Clear Water Bay, Hong Kong},
publisher = {IEEE Computer Society},
isbn = {0-8186-8271-X},
}