Wies, ThomasKuncak, ViktorZee, KarenPodelski, AndreasRinard, Martin2007-08-212007-08-212007-08-212006https://infoscience.epfl.ch/handle/20.500.14299/10395On Verifying Complex Properties using Symbolic Shape Analysistext::report