APA Style

FINKBEINER, B. et al (2015). Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings . Cham: .

MLA Style

FINKBEINER, Bernd. et al. "Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings". Cham: , 2015. Text.