Computer Aided Verification - 26th International Conference, CAV
2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna,
Austria, July 18-22, 2014. Proceedings,
pp. 541–549
In addition to the cookies necessary for the operation and smooth functioning of our website, we use marketing cookies to improve your experience and our services and website content. These cookies allow us to analyse and assess user flow through pseudonymised data from website users. The types of cookies are described in our Privacy Policy. You can change your consent there at any time.