Moscato, Mariano Miguel

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-2 de 2

Artículo Dynamite: A tool for the verification of alloy models based on PVS

Moscato, Mariano Miguel ; Lopez Pombo, Carlos Gustavo ; Frias, Marcelo Fabian (Association for Computing Machinery, 2014-03)
Artículo HeteroGenius: a framework for hybrid analysis of heterogeneous software specifications

Gimenez, Manuel; Moscato, Mariano Miguel ; Lopez Pombo, Carlos Gustavo ; Frias, Marcelo Fabian (Electronic Proceedings in Theoretical Computer Science, 2013-08)

Mostrando ítems 1-2 de 2