Vista normal
Vista MARC
- Clavel, Manuel
Clavel, Manuel (Nombre personal)
Machine generated authority record.
Work cat.: (CoBo-ECI)11568: All about Maude: a high-performance logical framework: , 2007
Machine generated authority record.
Work cat.: (CoBo-ECI)11568: All about Maude: a high-performance logical framework: , 2007