Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

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

por Bernd Finkbeiner
4/5
Primeira Publicação
2015
Editores
Springer International Publishing AG
Linguagem
English

Livros

Livros semelhantes