Título : Cómputo secuencial eficiente de cotas ajustadas, y su impacto en la performance de los análisis de programas basados en SAT
Efficient sequential tight field bounds computation, and their impact on the performance of SAT based program analysis
Editorial : Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires
Fecha de publicación : 13-jun-2014
metadata.dc.source.uri: http://digital.bl.fcen.uba.ar/gsdl-282/cgi-bin/library.cgi?a=d&c=tesis&d=Tesis_5547_Ponzio
URI : http://10.0.0.11:8080/jspui/handle/bnmm/75082
Aparece en las colecciones: FCEN - Facultad de Ciencias Exactas y Naturales. UBA

Ficheros en este ítem:
No hay ficheros asociados a este ítem.