Dennis Giffhorn. Slicing of Concurrent Programs and its Application to Information Flow Control. PhD thesis, Karlsruhe Institute of Technology, 2012. [doi]
@phdthesis{dnb-157, title = {Slicing of Concurrent Programs and its Application to Information Flow Control}, author = {Dennis Giffhorn}, year = {2012}, url = {http://d-nb.info/1024312798}, researchr = {https://researchr.org/publication/dnb-157}, cites = {0}, citedby = {0}, school = {Karlsruhe Institute of Technology}, }