Publications
Filters: Author is Gimenez, Manuel [Clear All Filters]
, “HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications”, in Latin American Workshop on Formal Methods LAFM 2013, Buenos Aires, Argentina, 2013.
lafm2013.pdf (238.7 KB)
lafm2013.pdf (238.7 KB)
