Uva, Marcelo Ariel

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-1 de 1

Artículo Automated Workarounds from Java Program Specifications based on SAT Solving

Uva, Marcelo Ariel; Ponzio, Pablo Daniel ; Regis, Germán; Aguirre, Nazareno Matias ; Frias, Marcelo Fabian (Springer Verlag, 2018-11)

Mostrando ítems 1-1 de 1