<--- Back to Details
First PageDocument Content
Date: 2005-10-11 03:37:02

The Spec# Programming System: Challenges and Directions Mike Barnett, Robert DeLine, Bart Jacobs, Manuel F¨ahndrich, K. Rustan M. Leino, Wolfram Schulte, and Herman Venter Microsoft Research, Redmond, WA, USA mbarnett,r

Add to Reading List

Source URL: vstte.ethz.ch

Download Document from Source Website

File Size: 32,69 KB

Share Document on Facebook

Similar Documents