Siirry suoraan sisältöön
Computer Aided Verification
Tallenna

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.
Alaotsikko
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Painos
2009 ed.
ISBN
9783642026577
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
19.6.2009
Sivumäärä
722