"Computer Aided Verification - 23rd International Conference, CAV 2011, ..."

Ganesh Gopalakrishnan, Shaz Qadeer (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics