TY  - RPRT
TI  - Experience Report: Teaching Code Analysis and Verification Using Frama-C
AU  - Salwa Souaf
AU  - Frédéric Loulergue
PY  - 2021
DO  - 10.4204/eptcs.349.5
UR  - https://arxiv.org/abs/2111.08208
ID  - 2111.08208
ER  -