N
Narciso Martí-Oliet
5 works on record
Works
All About Maude - A High-Performance Logical Framework
Recent Trends in Algebraic Development Techniques
Formal Methods : Foundations and Applications
Formal Methods : Foundations and Applications
Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
Rewriting Logic and Its Applications
Rewriting Logic and Its Applications