×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [procedural x]
Home >
procedural x
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