Article Dans Une Revue
Journal of Automated Reasoning
Année : 2010
Yolande Vieceli : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00587110
Soumis le : mardi 19 avril 2011-14:36:28
Dernière modification le : vendredi 24 mars 2023-14:52:54
Citer
Lydie Du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet. Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies. Journal of Automated Reasoning, 2010, 45 (4), pp.415-435. ⟨10.1007/s10817-009-9132-y⟩. ⟨hal-00587110⟩
70
Consultations
0
Téléchargements