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 | PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ | ||||||||||||||||||||||||||||||||||||||||
| ETAPS 2019 | PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile