2005

Revue Internationale avec comité de lecture

• [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