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