Metamodelling and Conformance Checking with PVS (2001)

by R F Paige, J S Ostroff
Venue:in Proc. of 4th Int'l Conf. on Fundamental Approaches to Software Engineering (FASE