Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings (Lecture Notes in Computer Science, Band 6996)

Verification

von: Tevfik Bultan · Pao-Ann Hsiung

Taschenbuch

ISBN-13: 978-3-642-24371-4

ISBN-10: 3-642-24371-1

Springer · 2011
Siehe auch (möglicherweise von anderen Autoren):
2008TaschenbuchAutomated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science, Band 3707)