Zheng, G., Nguyen, T., Gutierrez Brida, S., Regis, G., Aguirre, N., Frias, M. F. y Bagheri, H. (2022) ATR: Template-Based Repair for Alloy Specifications, Memorias de las JAIIO, 8(3), pp. 71-71. Disponible en: https://ojs.sadio.org.ar/index.php/JAIIO/article/view/303 (Accedido: 16mayo2024).