Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes in Computer Science, Band 5799)

Verification

von: Zhiming Liu · Anders P. Ravn

Taschenbuch

ISBN-13: 978-3-642-04760-2

ISBN-10: 3-642-04760-2

Springer · 2009