ETAPS 2019 (series) / Philipp Dominik Schubert
Registered user since Wed 6 Dec 2017
Name: Philipp Dominik Schubert
Country: Germany
Affiliation: Heinz Nixdorf Institut, Paderborn University
Research interests: Static Analysis
Contributions
| TACAS 2019 | Author of PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ within the TACAS 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile