Home
Publications
Research projects
Teaching
© 2013 Alberto Verdejo
Updated Feb. 8, 2013
Research projects
Maude's strategy language
Declarative debugging of Maude
Algorithmic skeletons in Maude
Mobile Maude