Ariño, R., Degiovanni, R., Fervari, R., Ponzio, P. D., & Aguirre, N. M. (2009). Towards scaling up DynAlloy analysis using predicate abstraction.
Cita Chicago Style (17a ed.)Ariño, Rodrigo, Renzo Degiovanni, Raul Fervari, Pablo Daniel Ponzio, y Nazareno Matías Aguirre. Towards Scaling Up DynAlloy Analysis Using Predicate Abstraction. 2009.
Cita MLA (8a ed.)Ariño, Rodrigo, et al. Towards Scaling Up DynAlloy Analysis Using Predicate Abstraction. 2009.
Precaución: Estas citas no son 100% exactas.