Daniel Grahl. Deductive Verification of Concurrent Programs and its Application to Secure Information Flow for Java. PhD thesis, Karlsruhe Institute of Technology, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.