|
 
|
Simao-Melo De Sousa
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
