Deductive verification of concurrent programs and its application to secure information flow for Java / von Daniel Grahl geb. Bruns

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Publisher: Karlsruhe, [2015]Description: 1 Online-Ressource (XXIV, 328 Seiten) : IllustrationenGenre/Form: DDC classification:
  • 004
Local classification: Lokale Notation: inf 11DOI: DOI: 10.5445/IR/1000050695Online resources: Notes: Anmerkungen: Elektronische RessourceNote: Hinweis: Elektronische RessourceDissertation note: Dissertation - Karlsruher Institut für Technologie (KIT), 2015 PPN: PPN: 84358842XPackage identifier: Produktsigel: GBV-ODiss
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT