Automated Technology for Verification and Analysis
Subtitle: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Publisher: Springer London, Limited
Published: 2009
Language: eng
ISBN-13: 9783642047619