Automated Technology for Verification and Analysis
Subtitle: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
Publisher: Springer London, Limited
Published: 2007
Language: eng
ISBN-13: 9783540755968