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:97 - 2 self

Document Versions

An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis, and Conclusions –Dan Craigen, Dan Craigen, Ora Canada, Ora Canada, Susan Gerhart, Susan Gerhart, Ted Ralston, Ronald H. Brown — 1993
An International Survey of Industrial Applications of Formal Methods Volume 2 Case Studies –Dan Craigen, Dan Craigen, Ora Canada, Ora Canada, Susan Gerhart, Susan Gerhart, Ted Ralston, Ronald H. Brown — 1993