
Computer Aided Verification
- Alaotsikko
- 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
- Toimittaja
- Ganesh Gopalakrishnan, Shaz Qadeer
- Painos
- 2011 ed.
- ISBN
- 9783642221095
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 5.7.2011
- Sivumäärä
- 763