13081

4363180

Bernd Finkbeiner

Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015 (Lecture Notes in Computer Science)

Springer

2015

9783319249520