Back to Results
First PageMeta Content
Electronic engineering / Logic in computer science / Software testing / Software verification / Static program analysis / Model checking / Formal verification / Programming tool / Software bug / Formal methods / Software development / Theoretical computer science


Formal Verification, Engineering and Business Value Ralf Huuck NICTA Sydney, Australia School of Computer Science and Engineering University of New South Wales
Add to Reading List

Document Date: 2013-01-01 18:15:45


Open Document

File Size: 174,83 KB

Share Result on Facebook
UPDATE