@PhdThesis{phdNguyen,
  author =   {Lisa Nguyen Quang Do},
  title =    {User-Centered Tool Design for Data-Flow Analysis},
  school =   {Universit\"at Paderborn},
  year =   2019,
  month =    Oct,
  awarded = {Summa cum laude, UPB Doctoral Dissertation Award},
 url = {https://www.bodden.de/pubs/phdNguyen.pdf},
}