Publication: Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude
Loading...
Files
Official URL
Full text at PDC
Publication Date
2012-01-20
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Unviersidad Complutense de Madrid, Servicio de Publicaciones
Abstract
Description
Tesis de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, leída el 15-06-2011