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

Main Authors: Ariño, Rodrigo, Degiovanni, Renzo, Fervari, Raul, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías
Format: Documento de conferencia
Published: 2010-10
2010
Series: XVI Congreso Argentino de Ciencias de la Computación
Subjects:
Online Access: http://sedici.unlp.edu.ar/handle/10915/19382