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

Type:: e-book
Titel:: From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
Auteur:: Wasserrab, Daniel
Taal:: Engels
Uitgever:: KIT Scientific Publishing
ISBN:: 3-86644-594-6
1000020678
Permalink:: http://bibtest.howest.be/catalog/ebk03:4920000000101423