Diseño y análisis formal de sistemas de software
FADOSS
Universidad de Navarra
Pamplona, EspañaPublicaciones en colaboración con investigadores/as de Universidad de Navarra (7)
2002
-
Maude: Specification and programming in rewriting logic
Theoretical Computer Science, Vol. 285, Núm. 2, pp. 187-243
2000
-
Polytypic programming in Maude
Electronic Notes in Theoretical Computer Science
-
Towards Maude 2.0
Electronic Notes in Theoretical Computer Science
-
Using maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1999
-
The maude system
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1998
-
Maude as a metalanguage
Electronic Notes in Theoretical Computer Science
-
Metalevel computation in maude
Electronic Notes in Theoretical Computer Science