Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Blanchette, J. C., & Kosmatov, N. (Eds.). (2015). Tests and Proofs. Berlin: Springer. doi:10.1007/978-3-319-21215-9.