Tim McComb, Graeme Smith. Architectural Design in Object-Z. In 15th Australian Software Engineering Conference (ASWEC 2004), 13-16 April 2004, Melbourne, Australia. pages 77-86, IEEE Computer Society, 2004. [doi]
@inproceedings{McCombS04,
title = {Architectural Design in Object-Z},
author = {Tim McComb and Graeme Smith},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/aswec/2004/2089/00/20890077abs.htm},
tags = {meta-model, architecture, Meta-Environment, design, meta-objects},
researchr = {https://researchr.org/publication/McCombS04},
cites = {0},
citedby = {0},
pages = {77-86},
booktitle = {15th Australian Software Engineering Conference (ASWEC 2004), 13-16 April 2004, Melbourne, Australia},
publisher = {IEEE Computer Society},
isbn = {0-7695-2089-8},
}