Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.)
Mathematics , LogicAll About Maude – A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic
Free Download
