 | Monter d'un niveau |
Garavel, H., & Marsso, L. (2017). A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm. [Présentation]. Electronic Proceedings in Theoretical Computer Science, 244, 129-183. Présentée à 2nd workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppala, Sweden. Lien externe
