Over−Approximating Boolean Programs with Unbounded Thread Creation
Byron Cook‚ Daniel Kroening and Natasha Sharygina
Details
| Book Title |
Proceedings of FMCAD 2006 |
| ISBN |
0−7695−2707−8 |
| Pages |
53–59 |
| Publisher |
IEEE |
| Year |
2006 |
Links
Related pages
|
People |