Kuncak, ViktorRinard, Martin2007-08-212007-08-212007-08-21200410.1007/978-3-540-24622-0_7https://infoscience.epfl.ch/handle/20.500.14299/10378Boolean Algebra of Shape Analysis Constraintstext::conference output::conference proceedings::conference paper