21st International Conference on Computer Aided Verification -- CAV 2009

 

Grenoble 26.6-2.7.2009

Selected publications

2009BOZGA Marius, HABERMEHL Peter, IOSIF Radu, KONEČNÝ Filip and VOJNAR Tomáš. Automatic Verification of Integer Array Programs. In: Computer Aided Verification. Berlin: Springer Verlag, 2009, pp. 157-172. ISBN 978-3-642-02657-7.

Your IPv4 address: 54.237.134.62
Switch to IPv6 connection

DNSSEC [dnssec]