The Spec# programming system: Challenges and directions.

Mike Barnett, Robert DeLine, Bart Jacobs, Manuel Fahndrich, Rustan Leino, Wolfram Schulte, and Herman Venter
10 October 2005

In Verified Software: Theories, Tools, Experiments (LNCS4171, ISSN 0302-9743)

Publisher Springer Verlag
All copyrights reserved by Springer 2007.