Sciweavers

FM
1997
Springer
325views Formal Methods» more  FM 1997»
14 years 4 months ago
A Meta-Method for Formal Method Integration
We describe a meta-method for formal method integration Pai97 . The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory ...
Richard F. Paige