Startseite > Publikationen > Publikationen

Publikationen

Späth, Johannes:

Synchronized Pushdown Systems for Pointer and Data-Flow Analysis.

Dissertation, Universität Paderborn, Jan. 2019

Bibtex

@phdthesis{key=phdSpaeth,
author = {Sp{\"a}th, Johannes},
title = {Synchronized Pushdown Systems for Pointer and Data-Flow Analysis},
type = {Dissertation},
school = {Universit{\"a}t Paderborn},
month = jan,
year = {2019},
}

BibTeX in die Zwischenablage kopieren

Permalink

https://www.hni.uni-paderborn.de/pub/9865