Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Gimenez, Manuel  [Clear All Filters]
2013
M. Gimenez, M. M. Moscato, C. G. López Pombo, and M. F. Frias, “HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications”, in Latin American Workshop on Formal Methods LAFM 2013, Buenos Aires, Argentina, 2013.PDF icon lafm2013.pdf (238.7 KB)