Cite
HARVARD Citation
Guttman, J. et al. (eds.) (2019) Foundations of security, protocols, and equational reasoning : essays dedicated to Catherine A. Meadows. [Online]. Cham, Switzerland : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100081236790.0x000001