The Maude 2.0 system (2003)

Cached

Download Links

by Manuel Clavel , Francisco Durán , Steven Eker , Patrick Lincoln , Narciso Martí-oliet , José Meseguer , Carolyn Talcott
Venue:Rewriting Techniques and Applications, Proceedings of the 14th International Conference
Citations:80 - 17 self