×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [z objectoriented o]
Home >
z objectoriented o
Technologies for finding errors in object-oriented software K. Rustan M. Leino Microsoft Research, Redmond, WA Lecture 2 Summer school on Formal Models.
215 views