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

By M. Clavel, F. Durán, S. Eker, Patrick Lincoln, N. Martí-Oliet, J. Meseguer, C. Talcott. All About Maude, 2007

1,108 citations recorded by the source corpus.