Siirry suoraan sisältöön
From Formal Semantics to Verified Slicing
Tallenna

From Formal Semantics to Verified Slicing

Kirjailija:
pokkari, 2014
englanti
Alaotsikko
A Modular Framework with Applications in Language Based Security
ISBN
9783866445949
Kieli
englanti
Paino
272 grammaa
Julkaisupäivä
18.8.2014
Sivumäärä
224