All about maude - A high-performance logical framework how to specify, program and verify systems in rewriting logic

Manuel Clavel, Francisco Duran, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'All about maude - A high-performance logical framework how to specify, program and verify systems in rewriting logic'. Together they form a unique fingerprint.