Cite
APA Citation
Guttman, J. D., Landwehr, C. E., Meseguer, J., & (Economist), P. (Eds.) (2019). Foundations of security, protocols, and equational reasoning : essays dedicated to Catherine A. Meadows. Cham, Switzerland : Springer. http://access.bl.uk/ark:/81055/vdc_100081236790.0x000001