- idUS
- Trabajos Académicos
- Trabajos Fin de Máster (TFM)
- Ciencias
- Máster Universitario en Matemáticas
- Listar Máster Universitario en Matemáticas por autor
Listar Máster Universitario en Matemáticas por autor "González Blanco, Natividad"
Mostrando ítems 1-1 de 1
-
Trabajo Fin de Máster
Verificación formal de la lógica de Hoare en Isabelle/HOL
González Blanco, Natividad (2016-09)Hoare logic is a formal system developed by C.A.R. Hoare. This logic was introduced to verify formally imperative programs. ...