Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science (3707), Band 3707)

Verification

von: Yih-Kuen Tsay · Doron A. Peled

Taschenbuch

ISBN-13: 978-3-540-29209-8

ISBN-10: 3-540-29209-8

Springer · 2008
Siehe auch (möglicherweise von anderen Autoren):
2011TaschenbuchAutomated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings (Lecture Notes in Computer Science, Band 6996)