Communication Dans Un Congrès
Année : 2021
Frédéric Loulergue : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03338928
Soumis le : jeudi 9 septembre 2021-10:43:34
Dernière modification le : jeudi 9 mars 2023-10:30:17
Dates et versions
Identifiants
- HAL Id : hal-03338928 , version 1
- ARXIV : 2111.08208
- DOI : 10.4204/EPTCS.349.5
Citer
Salwa Souaf, Frédéric Loulergue. Experience report: Teaching code analysis and verification using Frama-C. 1st International Workshop on Applicable Formal Methods (appFM), Nov 2021, Beijing, China. ⟨10.4204/EPTCS.349.5⟩. ⟨hal-03338928⟩
Collections
43
Consultations
0
Téléchargements