All About Maude - A High-Performance Logical Framework

How to Specify, Program, and Verify Systems in Rewriting Logic
Author(s): Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott
Read reviews
Loading Puzzle...
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?