Back to Results
First PageMeta Content
Science / Theoretical computer science / Verification and validation / Software development process / Software bug / Programming language / Model checking / Formal verification / Device driver synthesis and verification / Formal methods / Software development / Software testing


Determining Software Models that Are Less Incorrect
Add to Reading List

Document Date: 2006-01-11 06:08:34

Open Document

File Size: 40,25 KB

Share Result on Facebook
UPDATE