"Computer Aided Verification - 31st International Conference, CAV 2019, New ..."

Isil Dillig, Serdar Tasiran (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics