Cite
MLA Citation
Martin Leucker et al., editors. Theoretical aspects of computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, proceedings. Cham : Springer, 2015. http://access.bl.uk/ark:/81055/vdc_100072116042.0x000001