Cita APA

Zheng, G., Nguyen, T., Gutiérrez Brida, S., Regis, G., Aguirre, N. M., Frias, M. F., & Bagheri, H. (2022). ATR: Template-based repair for Alloy specifications. Web

Citación estilo Chicago

Zheng, Guolong, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Matías Aguirre, Marcelo F. Frias, and Hamid Bagheri. ATR: Template-based Repair for Alloy Specifications. 2022.

Cita MLA

Zheng, Guolong, et al. ATR: Template-based Repair for Alloy Specifications. 2022.