Decision Procedures – an Algorithmic Point of View
Daniel Kroening and Ofer Strichman
Details
| Note |
To appear |
| Publisher |
Springer |
| Series |
EATCS |
| Year |
2008 |
Links
Related pages
|
People |
|
|
Activities |
Hardware Verification | Model Checking | Software Model Checking |
|
Themes |