Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude
Loading...
Download
Official URL
Full text at PDC
Publication date
2012
Defense date
15/06/2011
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Unviersidad Complutense de Madrid, Servicio de Publicaciones
Citations
Exportar
Citation
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