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

 

Grenoble 26.6-2.7.2009

Vybrané publikace

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, s. 157-172, ISBN 978-3-642-02657-7

Vaše IPv4 adresa: 184.72.197.101
Přepnout na IPv6 spojení

DNSSEC [dnssec]