Formal Verification at Higher Levels of Abstraction
Daniel Kroening and Sanjit A. Seshia
Details
| Book Title |
Proceedings of ICCAD 2007 |
| Note |
Tutorial |
| Pages |
572–578 |
| Publisher |
IEEE |
| Year |
2007 |
Links
Related pages
|
People |