Share this page
Share this page E-mail this page Print this page RSS feeds
Home > Publications > Verified Software: Theories, Tools, and Experiments, VSTTE 2006, Workshop proceedings
Verified Software: Theories, Tools, and Experiments, VSTTE 2006, Workshop proceedings

K. Rustan M. Leino and Wolfram Schulte
August 2006

tr-2006-117.pdf
PDF file

Details

Type: TechReport
Number: MSR-TR-2006-117
Pages: 0
Institution: Microsoft Research