"Daniel Kroening and Ofer Strichman: Decision procedures - Springer Verlag, ..."

Rosemary Monahan (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics