Microsoft Research
Microsoft Translator |
Boolean Heaps

Andreas Podelski and Thomas Wies
2005

In  Static Analysis Symposium (SAS 2005)

Publisher  Springer

Details

TypeInproceedings
Pages267–282
Volume3672
SeriesLNCS
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Boolean Heaps