Verified Software: Theories, Tools, and Experiments, VSTTE 2006, Workshop proceedings
K. Rustan M. Leino and Wolfram Schulte
August 2006
Details
| Type | TechReport |
| Number | MSR-TR-2006-117 |
| Pages | 0 |
| Institution | Microsoft Research |
Related People
Related Labs