Boolean Heaps

Andreas Podelski and Thomas Wies

Details

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