@Inproceedings{EPTCS139.7, author = {Gim\'enez, Manuel and Moscato, Mariano M. and Lopez Pombo, Carlos G. and Frias, Marcelo F.}, year = {2014}, title = {HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications}, editor = {Aguirre, Nazareno and Ribeiro, Leila}, booktitle = {{\rm Proceedings First} Latin American Workshop on Formal Methods, {\rm Buenos Aires, Argentina, August 26th 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {139}, publisher = {Open Publishing Association}, pages = {65-70}, doi = {10.4204/EPTCS.139.7}, }