Boolean Heaps

In  Static Analysis Symposium (SAS 2005)

Publisher  Springer

Details

TypeInproceedings
Pages267–282
Volume3672
SeriesLNCS
> Publications > Boolean Heaps