An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis, and Conclusions (1993)

by Dan Craigen , Dan Craigen , Ora Canada , Ora Canada , Susan Gerhart , Susan Gerhart , Ted Ralston , Ronald H. Brown
Citations:102 - 2 self

Active Bibliography

Methods – Dan Craigen, Ora Canada, Susan Gerhart, Volume Purpose, Dan Craigen, Ora Canada, Susan Gerhart, Ted Ralston, Ronald H. Brown, Blank Page - 1993
23 Using Formal Methods to Construct a Software Component Library – Jun-Jang Jeng, Betty H.C. Cheng - 1993
11 Using Automated Reasoning Techniques to Determine Software Reuse – Jun-Jang Jeng, Betty H.C. Cheng - 1992
9 Formal Methods and Software Safety – J. P. Bowen, V. Stavridou - 1992
2 Formal Methods: State of the Art and Future Directions – Edmund Clarke Jeannette, Edmund M. Clarke, Jeannette M. Wing, Et Al - 1996
2 A guide to reading VDM specifications – Bob Fields - 1992
..... Director – Dan Craigen, Ora Canada, Susan Gerhart, Dan Craigen, Ora Canada, Susan Gerhart, Ted Ralston, Ronald H. Brown - 1993
separation – Daniel Drozdzewski, Daniel Drozdzewski - 2007