Maude: Specification and Programming in Rewriting Logic (2001)

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