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

K. Rustan M. Leino and Wolfram Schulte

Details

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