Spar
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?
- Undertittel
- 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
- Redaktør
- Werner Damm, Holger Hermanns
- Opplag
- 2007 ed.
- ISBN
- 9783540733676
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 2.7.2007
- Antall sider
- 562
