DMCA

Verifying Test-Hypotheses An Experiment in Test and Proof

by Achim D. Brucker , Lukas Brügger , Burkhart Wolff