Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (8a ed.)

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