Chapter
Metamodelling and Conformance Checking with PVS
Authors
Paige RF; Ostroff JS
Book title
Fundamental Approaches to Software Engineering
Editors
Goos G; Hartmanis J; van Leeuwen J; Hussmann H
Volume
2029
Pagination
pp. 2-16
Publisher
Springer Berlin Heidelberg
Publication Date
January 1, 2001
DOI
10.1007/3-540-45314-8_2