Static Analysis to Enhance the Power of Model Checking for Concurrent Software
Edmund Clarke‚ Daniel Kroening and Thomas Reps
Details
| Book Title |
Department of Defense Sponsored Information Security Research |
| ISBN |
0−471−78756−6 |
| Month |
July |
| Pages |
349–360 |
| Publisher |
Wiley |
| Year |
2007 |
Links
Related pages
|
People |
|
|
Activities |