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