Cita APA (7a ed.)

Zheng, G., Nguyen, T. V., Gutiérrez Brida, S., Regis, G., Frías, M., Aguirre, N., & Bagher, H. (2022). FLACK: Counterexample-guided fault localization for alloy models.

Cita Chicago Style (17a ed.)

Zheng, Guolong, Thanh Vu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo Frías, Nazareno Aguirre, y Hamid Bagher. FLACK: Counterexample-guided Fault Localization for Alloy Models. 2022.

Cita MLA (8a ed.)

Zheng, Guolong, et al. FLACK: Counterexample-guided Fault Localization for Alloy Models. 2022.