Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

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

da Bernd Finkbeiner
4/5
Da farko aka buga
2015
Masu bugawa
Springer International Publishing AG
Yare
English

Littattafai

Makamantan littattafai