"Automated Deduction in the B Set Theory using Typed Proof Search and ..."

Guillaume Bury et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics