KIT | KIT-Bibliothek | Impressum
Open Access Logo

Quantifying Information Flow in Programs using Program Logics

Klebanov, Vladimir



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Buchaufsatz
Jahr 2011
Sprache Englisch
Identifikator ISSN: 2190-4782
URN: urn:nbn:de:swb:90-248100
KITopen ID: 1000024810
Erschienen in Formal Verification of Object-Oriented Software. Hrsg.: B. Beckert
Verlag Karlsruhe
Seiten 278-288
Serie Karlsruhe Reports in Informatics ; 2011,26
URLs Gesamtwerk
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page