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

Computer Aided Verification

Constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011 that was held in Snowbird, UT, USA.
Alaotsikko
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Painos
2011 ed.
ISBN
9783642221095
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
5.7.2011
Sivumäärä
763