program correctness proof 0 prueba de corrección del programa Demostración matemática formal de la semántica de un programa. 1997-03-27 program testingprueba del programa
