Zheng, G., Nguyen, T., Gutierrez Brida, S., Regis, G., Aguirre, N., Frias, M. F. and Bagheri, H. (2022) “ATR: Template-Based Repair for Alloy Specifications”, Proceedings of JAIIO, 8(3), pp. 71-71. Available at: https://publicaciones.sadio.org.ar/index.php/JAIIO/article/view/303 (Accessed: 17May2024).