DE FRANCESCO, N., LETTIERI, G., SANTONE, A., & VAGLINI, G. (2014). GreASE: A Tool for Efficient "Nonequivalence" Checking. ACM Transactions on Software Engineering & Methodology, 23(3), 24:1. https://doi.org/10.1145/2560563
Chicago Style (17th ed.) CitationDE FRANCESCO, NICOLETTA, GIUSEPPE LETTIERI, ANTONELLA SANTONE, and GIGLIOLA VAGLINI. "GreASE: A Tool for Efficient "Nonequivalence" Checking." ACM Transactions on Software Engineering & Methodology 23, no. 3 (2014): 24:1. https://doi.org/10.1145/2560563.
MLA (9th ed.) CitationDE FRANCESCO, NICOLETTA, et al. "GreASE: A Tool for Efficient "Nonequivalence" Checking." ACM Transactions on Software Engineering & Methodology, vol. 23, no. 3, 2014, p. 24:1, https://doi.org/10.1145/2560563.
Warning: These citations may not always be 100% accurate.
