CITATION STYLE
Barthe, G., Dupressoir, F., Grégoire, B., Kunz, C., Schmidt, B., & Strub, P. Y. (2014). Easycrypt: A tutorial. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8604, 146–166. https://doi.org/10.1007/978-3-319-10082-1_6
Mendeley helps you to discover research relevant for your work.