Home › Authors › Manuel Clavel 👤 Manuel Clavel 2 books Books by Manuel Clavel All About Maude - A High-Performance Logical Framework 2007 Reflection in Rewriting Logic 2001
