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

por Clavel, Manuel , Durán, Francisco , Eker, Steven , Lincoln, Patrick , Martí-Oliet, Narciso , Meseguer, José , Talcott, Carolyn
Publicado 2007