Listar Facultad de Matemáticas por autor "Domínguez Balbás, Pablo"
Mostrando ítems 1-1 de 1
-
Trabajo Fin de Grado
Librería Haskell sobre Model Checking
Domínguez Balbás, Pablo (2020-06-01)In this project we establish the basic theoretical concepts about F inite State M achines and Model Checking so we can ...