Metalevel Computation in Maude (1998)

Cached

Download Links

by M. Clavel , F. Durán , S. Eker , P. Lincoln , N. Martí-Oliet , J. Meseguer
Citations:11 - 7 self