|
 
|
Gilles Barthe
Publications
2005
-
[BCD05]
G. Barthe, P. Courtieu, G. Dufay, S. De Sousa.
"Tool-assisted specification and verification of Typed Low-Level Languages",
JAR, J. of Automated Reasoning,
vol. 35(4), pp. 295-354,
2005
Revue Internationale avec comité de lecture
2003
-
[BCP03]
G. Barthe, V. Capretta, O. Pons.
"Setoids in type theory",
Journal of Functional Programming,
vol. 13(2), pp. 261-293,
2003
