Jochen Hoenicke - POPL 2019 (original) (raw)

Name:Jochen Hoenicke

Country:Germany

Affiliation:Universität Freiburg

Personal website: http://swt.informatik.uni-freiburg.de/staff/hoenicke

Research interests:Software Modelchecking, Interpolation, SMT solver