Gå direkte til innholdet
Computer Aided Verification
Spar

Computer Aided Verification

The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions.
Undertittel
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Opplag
2009 ed.
ISBN
9783642026577
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
19.6.2009
Antall sider
722