Sciweavers

VSTTE
2005
Springer

The Spec# Programming System: Challenges and Directions

14 years 5 months ago
The Spec# Programming System: Challenges and Directions
Michael Barnett, Robert DeLine, Manuel Fähndr
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where VSTTE
Authors Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs 0002, K. Rustan M. Leino, Wolfram Schulte, Herman Venter
Comments (0)