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