Tests and Proofs Lecture Notes in Computer ScienceAchim D. Brucker · First published 2012Open the Tome