Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
0
0
Author Description
Page Count:
430
Publication Date:
2009-08-29
ISBN-10:
354088422X
ISBN-13:
9783540884224
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!