Communication Dans Un Congrès
Année : 2006
Alain Giorgetti : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00114318
Soumis le : jeudi 16 novembre 2006-12:14:19
Dernière modification le : lundi 11 septembre 2023-17:41:18
Dates et versions
Identifiants
- HAL Id : inria-00114318 , version 1
Citer
Alain Giorgetti, Julien Groslambert. JAG : Génération d'annotations JML pour vérifier des propriétés temporelles. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'06, Mar 2006, Paris, France. ⟨inria-00114318⟩
Collections
57
Consultations
0
Téléchargements