Treffer: Specification and Verification: The Spec# Experience.
Title:
Specification and Verification: The Spec# Experience.
Authors:
BARNETT, MIKE1 mbarnett@microsoft.com, FÄHNDRICH, MANUEL2 maf@microsoft.com, LEINO, K. RUSTAN M.3 leino@microsoft.com, MÜLLER, PETER4 peter.mueller@inf.ethz.ch, SCHULTE, WOLFRAM5 schulte@microsoft.com, VENTER, HERMAN6 hermanv@microsoft.com
Source:
Communications of the ACM. Jun2011, Vol. 54 Issue 6, p81-91. 11p. 2 Color Photographs, 2 Diagrams.
Database:
Business Source Ultimate