Zheng, Guolong, ThanhVu Nguyen, Simon Gutierrez Brida, German Regis, Nazareno Aguirre, Marcelo F. Frias, y Hamid Bagheri. ATR: Template-Based Repair for Alloy Specifications. Memorias de las JAIIO 8, no. 3 (diciembre 15, 2022): 71-71. Accedido mayo 16, 2024. https://ojs.sadio.org.ar/index.php/JAIIO/article/view/303.