Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

بواسطة Bernd Finkbeiner
4/5
نشرت لأول مرة
2015
الناشرون
Springer International Publishing AG
لغة
English

كتب

كتب مماثلة