Kuncak, ViktorLeino, Rustan2007-08-212007-08-212007-08-212003https://infoscience.epfl.ch/handle/20.500.14299/10364In-Place Refinement for Effect Checkingtext::conference output::conference proceedings::conference paper