|
 
|
[BCD05] Tool-assisted specification and verification of Typed Low-Level Languages
Revue Internationale avec comité de lecture : Journal JAR, J. of Automated Reasoning, vol. 35(4), pp. 295-354, 2005
motcle:
Résumé:
resume
Commentaires:
note
BibTeX
| @article { | |||
| BCD05, | |||
| title | = | "{Tool-assisted specification and verification of Typed Low-Level Languages}", | |
| author | = | "G. Barthe and P. Courtieu and G. Dufay and S. De Sousa", | |
| journal | = | "JAR, J. of Automated Reasoning", | |
| year | = | 2005, | |
| volume | = | 35, | |
| number | = | 4, | |
| pages | = | "295-354", | |
| note | = | "{note}", | |
| } | |||
