Metamodelling and Conformance Checking with PVS (2001)

by R F Paige, J S Ostroff
Venue:In Proc. Fundamental Aspects of Software Engineering 2001 , Springer-Verlag, LNCS 2029