Conference Papers
Year : 2021
Frédéric Loulergue : Connect in order to contact the contributor
https://inria.hal.science/hal-03338928
Submitted on : Thursday, September 9, 2021-10:43:34 AM
Last modification on : Thursday, March 9, 2023-10:30:17 AM
Dates and versions
Identifiers
- HAL Id : hal-03338928 , version 1
- ARXIV : 2111.08208
- DOI : 10.4204/EPTCS.349.5
Cite
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
52
View
0
Download