APA (7th ed.) Citation

DE CASO, G., BRABERMAN, V., GARBERVETSKY, D., & UCHITEL, S. (2013). Enabledness-Based Program Abstractions for Behavior Validation. ACM Transactions on Software Engineering & Methodology, 22(3), 25:1. https://doi.org/10.1145/2491509.2491519

Chicago Style (17th ed.) Citation

DE CASO, GUIDO, VICTOR BRABERMAN, DIEGO GARBERVETSKY, and SEBASTIAN UCHITEL. "Enabledness-Based Program Abstractions for Behavior Validation." ACM Transactions on Software Engineering & Methodology 22, no. 3 (2013): 25:1. https://doi.org/10.1145/2491509.2491519.

MLA (9th ed.) Citation

DE CASO, GUIDO, et al. "Enabledness-Based Program Abstractions for Behavior Validation." ACM Transactions on Software Engineering & Methodology, vol. 22, no. 3, 2013, p. 25:1, https://doi.org/10.1145/2491509.2491519.