Carlos A. González, Fabian Büttner, Robert Clarisó, Jordi Cabot. EMFtoCSP: a tool for the lightweight verification of EMF models. In Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe, editors, Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012. pages 44-50, IEEE, 2012. [doi]
@inproceedings{GonzalezBCC12, title = {EMFtoCSP: a tool for the lightweight verification of EMF models}, author = {Carlos A. González and Fabian Büttner and Robert Clarisó and Jordi Cabot}, year = {2012}, url = {http://dl.acm.org/citation.cfm?id=2663697}, researchr = {https://researchr.org/publication/GonzalezBCC12}, cites = {0}, citedby = {0}, pages = {44-50}, booktitle = {Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012}, editor = {Stefania Gnesi and Stefan Gruner and Nico Plat and Bernhard Rumpe}, publisher = {IEEE}, isbn = {978-1-4673-1906-5}, }