- 1
Rémi Douence
1
Documents
Affiliations actuelles
- 495900
- 489559
Domaines de recherche
Génie logiciel [cs.SE]
Compétences
Functional Languages
Semantics
Certified Programming
Haskell
Agda
Java
Object-Oriented Languages
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Reference monitors for security and interoperability in OAuth 2.0SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom
Communication dans un congrès
hal-00846810v1
|