Slicing of Concurrent Programs and its Application to Information Flow Control

Dennis Giffhorn. Slicing of Concurrent Programs and its Application to Information Flow Control. PhD thesis, Karlsruhe Institute of Technology, 2012. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: