Corbineau, Pierre, 1978-....
Corbineau, P.H.J.M. (Pierre), 1978-
VIAF ID: 216207844 ( Personal )
Permalink: http://viaf.org/viaf/216207844
Preferred Forms
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Automated reasoning in type theory. | |
Démonstration automatique en théorie des types | |
Méthodes pour la vérification des protocoles cryptographiques dans le modèle calculatoire |