@Inproceedings{EPTCS349.5, author = {Souaf, Salwa and Loulergue, Fr\'ed\'eric}, year = {2021}, title = {Experience Report: Teaching Code Analysis and Verification Using Frama-C}, editor = {Gleirscher, Mario and Pol, Jaco van de and Woodcock, Jim}, booktitle = {{\rm Proceedings First Workshop on} Applicable Formal Methods, {\rm virtual, 23rd November 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {349}, publisher = {Open Publishing Association}, pages = {69-75}, doi = {10.4204/EPTCS.349.5}, }