Back to Results
First PageMeta Content



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

Document Date: 2005-10-11 03:37:02

Open Document

File Size: 32,69 KB

Share Result on Facebook