Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Boolean Heaps

Andreas Podelski and Thomas Wies

Details

Publication typeInproceedings
Published inStatic Analysis Symposium (SAS 2005)
Pages267–282
Volume3672
SeriesLNCS
PublisherSpringer
> Publications > Boolean Heaps