Cite
MLA Citation
Alessandra Di Pierro et al., editors. From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement. Cham : Springer, 2020. http://access.bl.uk/ark:/81055/vdc_100098198884.0x000001