APA (7th ed.) Citation

Gutiérrez Brida, S., Regis, G., Zheng, G., Bagheriz, H., Nguyenz, T., Aguirre, N., & Frias, M. (2021). Bounded Exhaustive Search of Alloy Specification Repairs. ICSE: International Conference on Software Engineering, 1135. https://doi.org/10.1109/ICSE43902.2021.00105

Chicago Style (17th ed.) Citation

Gutiérrez Brida, Simón, Germán Regis, Guolong Zheng, Hamid Bagheriz, ThanhVu Nguyenz, Nazareno Aguirre, and Marcelo Frias. "Bounded Exhaustive Search of Alloy Specification Repairs." ICSE: International Conference on Software Engineering 2021: 1135. https://doi.org/10.1109/ICSE43902.2021.00105.

MLA (9th ed.) Citation

Gutiérrez Brida, Simón, et al. "Bounded Exhaustive Search of Alloy Specification Repairs." ICSE: International Conference on Software Engineering, 2021, p. 1135, https://doi.org/10.1109/ICSE43902.2021.00105.