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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.