👤

Bruno Blanchet

3 books

Books by Bruno Blanchet

Modeling and Verifying Security Protocols with the Applied Pi Calculus and Proverif
Modeling and Verifying Security Protocols with the Applied Pi Calculus and Proverif
2016
Le crédit inter-entreprises
Le crédit inter-entreprises
2012
La frousse autour du monde
La frousse autour du monde
2008