Specification and Verification: The Spec# Experience (2009)

by Mike Barnett , Peter Müller , Manuel Fähndrich , Wolfram Schulte , K. Rustan , M. Leino , Herman Venter
Citations:19 - 3 self