Cite
MLA Citation
Bernd Finkbeiner et al., editors. Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Cham : Springer, 2015. http://access.bl.uk/ark:/81055/vdc_100072115998.0x000001