Spara
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?
- Undertitel
- 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
- Redaktör
- Werner Damm, Holger Hermanns
- Upplaga
- 2007 ed.
- ISBN
- 9783540733676
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2007-07-02
- Sidor
- 562
