@inproceedings{75aa853b9c0d4243930ee9af04a93249,
title = "Building VCL models and automatically generating Z specifications from them",
keywords = "Z, formal methods, model-driven development, visual languages",
author = "Nuno Am{\'a}lio and Christian Glodt and Pierre Kelsen",
year = "2011",
doi = "10.1007/978-3-642-21437-0_13",
language = "English",
isbn = "9783642214363",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "149--153",
booktitle = "FM 2011",
note = "17th International Symposium on Formal Methods, FM 2011 ; Conference date: 20-06-2011 Through 24-06-2011",
}