Startseite > Publikationen > Publikationen

Publikationen

Schubert, Philipp;Hermann, Ben;Bodden, Eric:

PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.

In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2019, To appear.

Bibtex

@inproceedings{key=tacas19phasar,
author = {Schubert, Philipp and Hermann, Ben and Bodden, Eric},
title = {PhASAR: An Inter-Procedural Static Analysis Framework for C/C++},
booktitle = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
year = {2019},
note = {To appear.},
}

BibTeX in die Zwischenablage kopieren

Permalink

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