@TechReport{Hensel23,
  author      = "Jera Hensel",
  title       = "Automated Termination Analysis of C Programs",
  institution = "RWTH Aachen University",
  keywords    = "termination analysis, termination proofs, symbolic execution, C programs, LLVM",
  year        = "2023",
  number      = "AIB-2023-04",
  month       = oct,
  url         = "https://publications.rwth-aachen.de/record/972440/files/972440.pdf",
}