
From Formal Semantics to Verified Slicing
- Alaotsikko
- A Modular Framework with Applications in Language Based Security
- Kirjailija
- Daniel Wasserrab
- ISBN
- 9783866445949
- Kieli
- englanti
- Paino
- 272 grammaa
- Julkaisupäivä
- 18.8.2014
- Kustantaja
- Karlsruher Institut Fur Technologie
- Sivumäärä
- 224