@inbook{280e5f11f40c441da2b959c0ef4656dc,
title = "Formal proof from UML models",
keywords = "Consistency checking, Formal proof, Model analysis, UML, Z",
author = "Nuno Am{\'a}lio and Susan Stepney and Fiona Polack",
year = "2004",
doi = "10.1007/978-3-540-30482-1_35",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "418--433",
editor = "Jim Davies and Wolfram Schulte and Mike Barnett",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}