Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

MLA

Finkbeiner, Bernd, et al. Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. First edition 2015. Cham : Springer International Publishing : Imprint: Springer, 2015.

APA

Finkbeiner, B., Pu, G., Zhang, L. & SpringerLink (Online service). (2015). Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. First edition 2015. Cham : Springer International Publishing : Imprint: Springer.

Chicago

Finkbeiner, Bernd, G. Pu, Lijun Zhang and SpringerLink (Online service). Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Edited by Bernd Finkbeiner and G. Pu and Lijun Zhang. First edition 2015. Cham : Springer International Publishing : Imprint: Springer, 2015.