"Computer Aided Verification - 28th International Conference, CAV 2016, ..."

Swarat Chaudhuri, Azadeh Farzan (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics