A meta-method for formal method integration (1997)

by R F Paige
Venue:FME'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods