From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security

MLA

Wasserrab, Daniel. From Formal Semantics to Verified Slicing : A Modular Framework with Applications In Language Based Security. KIT Scientific Publishing, .

APA

Wasserrab, D. From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security. KIT Scientific Publishing.

Chicago

Wasserrab, Daniel From Formal Semantics to Verified Slicing : A Modular Framework with Applications In Language Based Security. : KIT Scientific Publishing.