Nuno Amálio, Pierre Kelsen. VCL, a Visual Language for Modelling Software Systems Formally. In Ashok K. Goel, Mateja Jamnik, N. Hari Narayanan, editors, Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings. Volume 6170 of Lecture Notes in Computer Science, pages 282-284, Springer, 2010. [doi]
@inproceedings{AmalioK10-0, title = {VCL, a Visual Language for Modelling Software Systems Formally}, author = {Nuno Amálio and Pierre Kelsen}, year = {2010}, doi = {10.1007/978-3-642-14600-8_29}, url = {http://dx.doi.org/10.1007/978-3-642-14600-8_29}, tags = {modeling language, modeling, language modeling}, researchr = {https://researchr.org/publication/AmalioK10-0}, cites = {0}, citedby = {0}, pages = {282-284}, booktitle = {Diagrammatic Representation and Inference, 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings}, editor = {Ashok K. Goel and Mateja Jamnik and N. Hari Narayanan}, volume = {6170}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-14599-5}, }