Reading Length
Home
Speed Tests
Login
Kousha Etessami
Identifiers
Open Library
OL10230644A
Top Subjects
Computer programs (1)
Computer software, verification (1)
Integrated circuits (1)
Books by Kousha Etessami
Total count: 1
Computer Aided Verification
17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
Springer London, Limited
2005-01-01
