×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [comslam slide]
Home >
comslam slide
The Static Driver Verifier Research Platform Thomas Ball 1, Ella Bounimova 1, Vladimir Levin 2, Rahul Kumar 2, and Jakob Lichtenberg 2 1 Microsoft Research.
217 views
The SLAM Project: Debugging System Software via Static Analysis Thomas Ball Sriram K. Rajamani Microsoft Research
217 views