@inbook{Klein_Nipkow_14, author = {Klein, Gerwin and Nipkow, Tobias}, booktitle = {Software Systems Safety}, editor = {{Grumberg, O., Seidl, H., Irlbeck, M.}}, 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} }