×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [verification of object]
Checking correctness properties of object-oriented programs K. Rustan M. Leino Microsoft Research, Redmond, WA Lecture 3 EEF summer school on Specification,
214 views
METHOD FOR RECONSTRUCTING OBJECT MODELS Lucian Cosmin GORON PhD student Robotics Research Group Universitatea Tehnica Cluj-Napoca NOV2010METHOD FOR RECONSTRUCTING
214 views