Microsoft Research
Microsoft Translator |
Precise Thread-Modular Verification

Alexander Malkis, Andreas Podelski, and Andrey Rybalchenko
2007

In  SAS'2007: Static Analysis Symposium

Publisher  Springer

Details

TypeInproceedings
Pages218–232
Volume4634
SeriesLNCS
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Precise Thread-Modular Verification