Microsoft Research
Microsoft Translator |
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

TypeTechReport
NumberMSR-TR-2006-117
Pages0
InstitutionMicrosoft Research
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Verified Software: Theories, Tools, and Experiments, VSTTE 2006, Workshop proceedings