Mejorando la aplicación de abstracción por predicados a especificaciones DynAlloy

por Ariño, Rodrigo, Degiovanni, Renzo, Fervari, Raul, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
Publicado 2010

Towards scaling up DynAlloy analysis using predicate abstraction

por Ariño, Rodrigo, Degiovanni, Renzo, Fervari, Raul, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
Publicado 2009

SocialSchool: una plataforma web para instituciones educativas

por Brusatti, Franco, Permigiani, Sonia, Novaira, Maria Marta, Ariño, Rodrigo, Depetris, Eduardo, Coria, Sául
Publicado 2017