| Search | About | Preferences | Interact | Help | |
Searching for books where
Author is Kousha Etessami
Title is Computer Aided Verification : 17th International Conference, CAV 2005 Edinburgh, Scotland, UK, July 6-10, 2005: Proceedings
Book is written in English
Author is Kousha Etessami
Title is Computer Aided Verification : 17th International Conference, CAV 2005 Edinburgh, Scotland, UK, July 6-10, 2005: Proceedings
Book is written in English
Search complete.
Click to pick a title (best matches in bold)
![[New/Used]](http://i.bookfinder.com/images/search/select/new_used.gif){kind=small}
