Cómputo automático de workarounds transitorios a partir de especificaciones de programas usando SAT solving
Automatic computation of transient workarounds from program specifications using SAT solving
http://creativecommons.org/licenses/by-nc-nd/2.5/ar/
Cita bibliográfica:
Uva, Marcelo Ariel (2022-12-21). Cómputo automático de workarounds transitorios a partir de especificaciones de programas usando SAT solving. (info:eu-repo/semantics/doctoralThesis). Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. [consultado: 23/1/2025] Disponible en el Repositorio Digital Institucional de la Universidad de Buenos Aires: <https://hdl.handle.net/20.500.12110/tesis_n7251_Uva>