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.
Reviews
No reviews yet.
Be the first to write one.
Highlights
No highlights yet.
Be the first to share one.