@inproceedings{3b9e1e8db5cc47d19f4d85d590f00f2a,
title = "Modular design by contract visually and formally using VCL",
keywords = "Design by contract, Formal modelling, Visual languages, Z",
author = "Nuno Am{\'a}lio and Pierre Kelsen",
year = "2010",
doi = "10.1109/VLHCC.2010.39",
language = "English",
isbn = "9780769542065",
series = "Proceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010",
pages = "227--234",
booktitle = "Proceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010",
note = "2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010 ; Conference date: 21-09-2010 Through 25-09-2010",
}