ETAPS 2019 (series) / Ben Hermann

Registered user since Mon 16 Jan 2017
Name:Ben Hermann
Country:Germany
Affiliation:University of Paderborn
Personal website:http://www.thewhitespace.de
Contributions
ETAPS 2019 | PhASAR: An Inter-Procedural Static Analysis Framework for C/C++ | ||||||||||||||||||||||||||||||||||||||||
TACAS 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