Cita APA

Uva, M. A. (2022). Cómputo automático de workarounds transitorios a partir de especificaciones de programas usando SAT solving. Web

Citación estilo Chicago

Uva, Marcelo Ariel. Cómputo Automático De Workarounds Transitorios a Partir De Especificaciones De Programas Usando SAT Solving. 2022.

Cita MLA

Uva, Marcelo Ariel. Cómputo Automático De Workarounds Transitorios a Partir De Especificaciones De Programas Usando SAT Solving. 2022.

Precaución: Estas citas no son 100% exactas.