@inbook{Klein_Nipkow_14,
    author           = {Klein, Gerwin and Nipkow, Tobias},
    booktitle        = {Software Systems Safety},
    issn             = {1874-6268},
    keywords         = {isabelle, semantics, marktoberdorf},
    month            = may,
    pages            = {77--134},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7256.pdf},
    publisher        = {IOS Press BV},
    series           = {NATO Science for Peace and Security Series },
    title            = {Applications of Interactive Proof to Data Flow Analysis and Security},
    volume           = {36},
    year             = {2014}
  }