Checking correctness properties of object-oriented programs K. Rustan M. Leino Microsoft Research, Redmond, WA Lecture 3 EEF summer school on Specification,
METHOD FOR RECONSTRUCTING OBJECT MODELS Lucian Cosmin GORON PhD student Robotics Research Group Universitatea Tehnica Cluj-Napoca NOV2010METHOD FOR RECONSTRUCTING.