@inbook{f2eb566934c94248aa369e2c0ee9d67a,
title = "UML+Z: Augmenting UML with Z",
keywords = "Graphical interface, Minimal knowledge, Refining models, Software systems, Specification language",
author = "Nuno Am{\'a}lio and Fiona Polack and Susan Stepney",
note = "Cited By :3 Export Date: 11 August 2021 Correspondence Address: Am{\'a}lio, N.; University of York, , York, YO10 5DD, United Kingdom",
year = "2010",
month = jan,
day = "5",
doi = "10.1002/9780470612514.ch5",
language = "English",
isbn = "9781905209347",
pages = "81--102",
booktitle = "Software Specification Methods",
publisher = "Wiley-ISTE",
}