Back to Results
First PageMeta Content
Computing / Software engineering / Theoretical computer science / Software testing / Formal methods / Software design / Software bug / Software quality


Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001
Add to Reading List

Document Date: 2011-11-07 15:32:17


Open Document

File Size: 11,61 KB

Share Result on Facebook
UPDATE