BOOM: Taking boolean program model checking one step further
G. Basler M. Hague D. Kroening L. Ong T. Wahl and H. Zhao
Details
| Book Title |
TACAS |
| Year |
2010 |
Links
Related pages
|
People |
G. Basler M. Hague D. Kroening L. Ong T. Wahl and H. Zhao
| Book Title |
TACAS |
| Year |
2010 |
|
People |