author = { Wasserrab, Daniel Snelting, G. },

title = { From Formal Semantics to Verified Slicing A Modular Framework with Applications in Language Based Security },

publisher = {KIT Scientific Publishing},

keywords = { Sicherheitskritisches System , Statische Analyse , Program Slicing , Korrektheit , Verifikation , Isabelle , Kontrollflussdiagramm , Abhängigkeitsgraph , Formale Semantik , Semantics , Evidence , Theorem Proving , Formal Semantics , Slicing , Modularity , Language Based Security , (DNB-Sachgruppen)004 , Hochschulschrift , Isabelle Programm },

year = {2011},

address = { Karlsruhe },

url = { http://slubdd.de/katalog?TN_libero_mab2 }