Listar Máster Universitario en Matemáticas por título
Mostrando ítems 78-78 de 78
-
Trabajo Fin de Máster
Verificación formal de la lógica de Hoare en Isabelle/HOL
(2016-09)Hoare logic is a formal system developed by C.A.R. Hoare. This logic was introduced to verify formally imperative programs. ...