@misc{indiciaec608d9c37354,
  title = {Evaluation of Systems Programming Exercises through Tailored Static Analysis},
  author = {Roberto Natella},
  year = {2024},
  doi = {10.1145/3641554.3701836},
  url = {https://arxiv.org/abs/2410.17260},
  note = {Source identifier: 2410.17260}
}