Article Dans Une Revue
Journal of Logic and Algebraic Programming
Année : 2004
Xavier Urbain : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01984932
Soumis le : jeudi 17 janvier 2019-14:21:23
Dernière modification le : lundi 5 février 2024-14:18:05
Citer
Claude Marché, Christine Paulin-Mohring, Xavier Urbain. The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. Journal of Logic and Algebraic Programming, 2004, 58 (1-2), pp.89-106. ⟨10.1016/j.jlap.2003.07.006⟩. ⟨hal-01984932⟩
48
Consultations
0
Téléchargements