@misc{indiciae8b6c775b5f33,
  title = {Experience Report: Teaching Code Analysis and Verification Using Frama-C},
  author = {Salwa Souaf and Frédéric Loulergue},
  year = {2021},
  doi = {10.4204/eptcs.349.5},
  url = {https://arxiv.org/abs/2111.08208},
  note = {Source identifier: 2111.08208}
}