@inproceedings{533ef55bec6144fd8b2d6ccbb6b86164,
title = "VCL, a visual language for modelling software systems formally",
keywords = "formal modelling, modularity, visual languages",
author = "Nuno Am{\'a}lio and Pierre Kelsen",
year = "2010",
doi = "10.1007/978-3-642-14600-8_29",
language = "English",
isbn = "364214599X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "282--284",
booktitle = "Diagrammatic Representation and Inference - 6th International Conference, Diagrams 2010, Proceedings",
note = "6th International Conference on the Theory and Application of Diagrams, Diagrams 2010 ; Conference date: 09-08-2010 Through 11-08-2010",
}