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

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

DNSSEC [dnssec]