Specification and Verification: The Spec# Experience (2009)

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