Achim D. Brucker

• Tests and Proofs Lecture Notes in Computer Science
• Tests and Proofs