[Lecture Notes in Computer Science] Comp
β
Etessami, Kousha; Rajamani, Sriram K.
π
Article
π
2005
π
Springer Berlin Heidelberg
π
German
β 230 KB
This Volume Contains The Proceedings Of The International Conference On Computer Aided Veri?cation (cav), Held In Edinburgh, Scotland, July 6β10, 2005. Cav 2005 Was The Seventeenth In A Series Of Conferences Dedicated To The Advancement Of The Theory And Practice Of Computer-assisted Formal An- Ysis