Precise Thread-Modular Verification

Alexander Malkis, Andreas Podelski, and Andrey Rybalchenko

Details

Publication typeInproceedings
Published inSAS'2007: Static Analysis Symposium
Pages218–232
Volume4634
SeriesLNCS
PublisherSpringer
> Publications > Precise Thread-Modular Verification