Communication Dans Un Congrès
Année : 2014
Vincent Chapurlat : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01930467
Soumis le : jeudi 22 novembre 2018-08:53:34
Dernière modification le : vendredi 24 mars 2023-14:53:08
Dates et versions
Identifiants
- HAL Id : hal-01930467 , version 1
Citer
Blazo Nastov, Vincent Chapurlat, François Pfister, Christophe Dony. Towards system verification: Adding meaning to models. CIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. ⟨hal-01930467⟩
Collections
115
Consultations
0
Téléchargements