All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, editors, All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Volume 4350 of Lecture Notes in Computer Science, Springer, 2007.

Conference: maude2007

Identified as Manuel Clavel (Universidad Complutense de Madrid )Identified as Francisco Durán Identified as Steven Eker This author has not been identified. Look up 'Patrick Lincoln' in GoogleThis author has not been identified. Look up 'Narciso Martí-Oliet' in GoogleIdentified as José Meseguer This author has not been identified. Look up 'Carolyn L. Talcott' in Google

runs on WebDSL