| |
| 2005 | ||
|---|---|---|
| 1 | EE | Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter: The Spec# Programming System: Challenges and Directions. VSTTE 2005: 144-152 |
| 1 | Michael Barnett | [1] |
| 2 | Robert DeLine | [1] |
| 3 | Manuel Fähndrich | [1] |
| 4 | Bart Jacobs | [1] |
| 5 | K. Rustan M. Leino | [1] |
| 6 | Wolfram Schulte | [1] |