ZHENG, G.; NGUYEN, T.; GUTIERREZ BRIDA, S.; REGIS, G.; AGUIRRE, N.; FRIAS, M. F.; BAGHERI, H. ATR: Template-Based Repair for Alloy Specifications. Memorias de las JAIIO, v. 8, n. 3, p. 71-71, 15 dez. 2022.