Precise Thread-Modular Verification

In  SAS'2007: Static Analysis Symposium

Publisher  Springer

Details

TypeInproceedings
Pages218–232
Volume4634
SeriesLNCS
> Publications > Precise Thread-Modular Verification