Cite
APA Citation
Finkbeiner, B., Pu, G. (., & Zhang, L. (Eds.) (2015). Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Cham : Springer. http://access.bl.uk/ark:/81055/vdc_100072115998.0x000001