Boolean heaps (2005)

by Andreas Podelski , Thomas Wies
Venue:In SAS
Citations:38 - 9 self