DMCA

Specification and Verification: The Spec# Experience (2009)

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