Tallenna
Computer Aided Verification
The reviewing process included a PC review meeting, and – for the ?rst time in the history of CAV – an author feedback period. The CAV 2007 program included three invited talks from industry: – Byron Cook (Microsoft Research) on Automatically Proving Program T- mination, – David Russino?
- Alaotsikko
- 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
- Toimittaja
- Werner Damm, Holger Hermanns
- Painos
- 2007 ed.
- ISBN
- 9783540733676
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 2.7.2007
- Sivumäärä
- 562
