@phdthesis{Frank2024,
  author      = {Mario Frank},
  title       = {On synthesising Linux kernel module components from Coq formalisations},
  type        = {doctoralthesis},
  pages       = {IX, 78},
  school      = {Universit{\"a}t Potsdam},
  doi       = {10.25932/publishup-64255},
  year        = {2024},
}