Wasserrab, D. (2011). From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security. KIT Scientific Publishing.
Cita Chicago Style (17a ed.)Wasserrab, Daniel. From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security. KIT Scientific Publishing, 2011.
Cita MLA (9a ed.)Wasserrab, Daniel. From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security. KIT Scientific Publishing, 2011.
Precaución: Estas citas no son 100% exactas.
