Chávez Bosquez, Oscar, División Académica de Informática y Sistemas Universidad Juárez Autónoma de Tabasco
-
Vol 15, No 4 (2014) - ARTÍCULOS
Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification
Resumen PDF
ISSN: 1405-7743