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, Vojnar Tomáš: Automatic Verification of Integer Array Programs, In: Computer Aided Verification, Berlin, DE, Springer, 2009, p. 157-172, ISBN 978-3-642-02657-7

Your IPv4 address: 54.234.126.92
Switch to IPv6 connection

DNSSEC [dnssec]