Communication Dans Un Congrès
Année : 2009
Nicolas Stouls : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00384209
Soumis le : jeudi 14 mai 2009-16:09:37
Dernière modification le : mercredi 8 septembre 2021-13:50:21
Dates et versions
Identifiants
- HAL Id : inria-00384209 , version 1
Citer
Julien Groslambert, Nicolas Stouls. Vérification de propriétés LTL sur des programmes C par génération d'annotations. AFADL'09, Jan 2009, Toulouse, France. pp.65--66. ⟨inria-00384209⟩
Collections
34
Consultations
0
Téléchargements