[FinkbeinerPZ15] Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings Finkbeiner, B.; Pu, G. and Zhang, L., ed. Springer, Lecture Notes in Computer Science 9364, 2015.
Downloads: bib