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]

@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},
}