Sciweavers

Share
FM
1997
Springer

A Meta-Method for Formal Method Integration

10 years 6 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 behind formal method integration, present two example combinations, and use an integrated method in solving a small problem.
Richard F. Paige
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where FM
Authors Richard F. Paige
Comments (0)
books