Model Checking Recursive Programs with Numeric Data Types
Matthew Hague and Anthony Widjaja Lin
Details
| Book Title |
Computer Aided Verification (CAV) |
| Note | |
| Year |
2011 |
Links
Documents
Related pages
|
People |
|
|
Activities |