Automated Technology for Verification and Analysis
5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
We couldn't estimate the reading time for this book.
Publication
2007 - Springer London, Limited
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139783540755968
- ISBN-103540755969
- Better World Books9783540755968
- Open LibraryOL37117848M
Classifications
- LCCTA345-345.5
Subjects
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!