Browsing Tesis (Ciencias de la Computación e Inteligencia Artificial) by Subject "Programación de ordenadores"
Now showing items 1-1 of 1
-
PhD Thesis
Verificación de programas en modelos de computación no convencionales
(2002)El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verificación formal de ...