Sign in
Join Literal
Automated Technology for Verification and Analysis
Sungdeok Cha
Want to read
Sign up to use
Sungdeok Cha
Automated Technology for Verification and Analysis
6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Sungdeok Cha,
Jin-Young Choi,
Moonzoo Kim,
Mahesh Viswanathan
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
gramatKoreaUniversityandtheDepartmentofComputerScienceatKAISTfor ?nancialsupport. We sincerely hope that the readers ?nd the proceedings of ATVA 2008 informative and rewarding.
Discover more books like Automated Technology for Verification and Analysis