학술논문
Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java
Document Type
TEXT
Author
Source
Subject
Language
English
Abstract
Karlsruhe, Karlsruher Institut für Technologie (KIT), Diss., 2015