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 : jeudi 4 avril 2024-21:29:48
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⟩
78
Consultations
0
Téléchargements