Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
0
0
Author Description
Page Count:
404
Publication Date:
2011-03-23
ISBN-10:
3642156444
ISBN-13:
9783642156441
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!