Uva, M. A., Ponzio, P. D., Regis, G., Aguirre, N. M., & Frias, M. F. (2018). Automated Workarounds from Java Program Specifications based on SAT Solving. Web
Citación estilo ChicagoUva, Marcelo Ariel, Pablo Daniel Ponzio, Germán Regis, Nazareno Matias Aguirre, and Marcelo Fabian Frias. Automated Workarounds From Java Program Specifications Based On SAT Solving. 2018.
Cita MLAUva, Marcelo Ariel, et al. Automated Workarounds From Java Program Specifications Based On SAT Solving. 2018.
Precaución: Estas citas no son 100% exactas.