Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

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

podľa Bernd Finkbeiner
4/5
Prvýkrát zverejnené
2015
Vydavatelia
Springer International Publishing AG
Jazyk
English

Knihy

Podobné knihy