Etessami, Kousha.
Overview
| Works: | 480 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
by:
Etessami, Kousha.; Rajamani, Sriram K.; SpringerLink (Online service); CAV (Conference) (2005 :)
(Language materials, printed)