Communications of the ACM

Combining Tests and Proofs with Contracts for Better Software Verification

Print Join the Discussion View in the ACM Digital Library In recent years, more conciliatory attitudes have emerged, attested ...