Wasserrab, D. (2011). From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security. KIT Scientific Publishing.
Chicago Style (17th ed.) CitationWasserrab, Daniel. From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security. KIT Scientific Publishing, 2011.
MLA (9th ed.) CitationWasserrab, Daniel. From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security. KIT Scientific Publishing, 2011.
Warning: These citations may not always be 100% accurate.
