Pu, Geguang books & textbook
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Programming and Software Engineering)
Finkbeiner, Bernd Pu, Geguang Zhang, Lijun
Springer /2015-11-22 Paperback / 533 Pages
isbn-10: 3319249525 / isbn-13: 9783319249520
