Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science (5311), Band 5311)

Verification

von Mahesh Viswanathan

Taschenbuch

ISBN: 978-3-540-88386-9

ISBN-10: 3-540-88386-X

Springer · 2008
S. auch:
 TaschenbuchAutomated Technology for Verification and Analysis (Lecture Notes in Computer Science)