Conference Papers
Year : 2006
Alain Giorgetti : Connect in order to contact the contributor
https://inria.hal.science/inria-00114318
Submitted on : Thursday, November 16, 2006-12:14:19 PM
Last modification on : Monday, September 11, 2023-5:41:18 PM
Dates and versions
Identifiers
- HAL Id : inria-00114318 , version 1
Cite
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
56
View
0
Download