![]() | ![]() |
| 2011 | ||
|---|---|---|
| 3 | Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter: Specification and verification: the Spec# experience. Commun. ACM 54(6): 81-91 (2011) | |
| 2010 | ||
| 2 | Mike Barnett: Code Contracts for .NET: Runtime Verification and So Much More. RV 2010: 16-17 | |
| 2008 | ||
| 1 | Mike Barnett, Meredith Houle: Using geographic information systems to support student learning through urban ecology. ICLS (1) 2008: 93-100 | |
| 1 | Manuel Fähndrich | [3] |
| 2 | Meredith Houle | [1] |
| 3 | K. Rustan M. Leino | [3] |
| 4 | Peter Müller | [3] |
| 5 | Wolfram Schulte | [3] |
| 6 | Herman Venter | [3] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page