APA (7th ed.) Citation

Frias, M. F., López Pombo, C. G., & Baum, G. A. (2005). Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach. ACM Transactions on Software Engineering & Methodology, 14(4), 478. https://doi.org/10.1145/1101815.1101819

Chicago Style (17th ed.) Citation

Frias, Marcelo F., Carlos G. López Pombo, and Gabriel A. Baum. "Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach." ACM Transactions on Software Engineering & Methodology 14, no. 4 (2005): 478. https://doi.org/10.1145/1101815.1101819.

MLA (9th ed.) Citation

Frias, Marcelo F., et al. "Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach." ACM Transactions on Software Engineering & Methodology, vol. 14, no. 4, 2005, p. 478, https://doi.org/10.1145/1101815.1101819.