Chapter
A meta-method for formal method integration
Authors
Paige RF
Book title
FME ’97: Industrial Applications and Strengthened Foundations of Formal Methods
Editors
Goos G; Hartmanis J; Leeuwen J; Fitzgerald J; Jones CB; Lucas P
Volume
1313
Pagination
pp. 473-494
Publisher
Springer Berlin Heidelberg
Publication Date
1997
DOI
10.1007/3-540-63533-5_25