Synchronized Pushdown Systems for Pointer and Data-Flow Analysis (bibtex)
@PhdThesis{phdSpaeth,
  author =   {Johannes Sp\"ath},
  title =    {Synchronized Pushdown Systems for Pointer and Data-Flow Analysis},
  school =   {Universit\"at Paderborn},
  year =   2019,
  month =    jan,
  awarded = {Summa cum laude},
}
Powered by bibtexbrowser