In print
Ebook
Audiobook
Library
We may earn a commission. Learn more.
Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
gramatKoreaUniversityandtheDepartmentofComputerScienceatKAISTfor ?nancialsupport. We sincerely hope that the readers ?nd the proceedings of ATVA 2008 informative and rewarding.
No reviews yet.
Be the first to write one.
No highlights yet.
Be the first to share one.