A Maude Tutorial (2000)

by M. Clavel , F. Duran , S. Eker , P. Lincoln , N. Marti-Oliet , J. Meseguer , J. F. Quesada
Citations:9 - 1 self