Métodos Formales de Ingeniería de Software
1.5.4 Verificación de programas mediante aserciones (lógica de Hoare, ... 2.4
Aplicación de la Lógica de Hoare a la prueba de programas. .... Examen Final.
1.5.4 Verificación de programas mediante aserciones (lógica de Hoare, ... 2.4
Aplicación de la Lógica de Hoare a la prueba de programas. .... Examen Final.