CITATION STYLE
Gaudry, P. (2019). Foundations of Security, Protocols, and Equational Reasoning (Vol. 11565, pp. 214–238). Springer International Publishing. Retrieved from http://link.springer.com/10.1007/978-3-030-19052-1
Mendeley helps you to discover research relevant for your work.