APA (7th ed.) Citation

Uva, M., Ponzio, P., Regis, G., Aguirre, N., & Frías, M. (2018). Automated workarounds from Java program specifications based on SAT solving.

Chicago Style (17th ed.) Citation

Uva, Marcelo, Pablo Ponzio, Germán Regis, Nazareno Aguirre, and Marcelo Frías. Automated Workarounds from Java Program Specifications Based on SAT Solving. 2018.

MLA (9th ed.) Citation

Uva, Marcelo, et al. Automated Workarounds from Java Program Specifications Based on SAT Solving. 2018.