MOSCATO MARIANO MIGUEL

Datos académicos

Lugar de trabajo	UNIVERSIDAD DE BUENOS AIRES / FACULTAD DE CIENCIAS EXACTAS Y NATURALES / DEPARTAMENTO DE COMPUTACION
Título	Doctor de la Universidad de Buenos Aires - orientación Ciencias de la Computación
Grado	Universitario de posgrado/doctorado

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