Verified Software: Theories, Tools, and Experiments, VSTTE 2006, Workshop proceedings

tr-2006-117.pdf
PDF file

Details

TypeTechReport
NumberMSR-TR-2006-117
Pages0
InstitutionMicrosoft Research
> Publications > Verified Software: Theories, Tools, and Experiments, VSTTE 2006, Workshop proceedings