ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Benjamin Kiesl

Registered user since Thu 31 Jan 2019

Name: Benjamin Kiesl

Country: Germany

Affiliation: CISPA Helmholtz Center for Information Security

Personal website: https://benjaminkiesl.github.io/

Contributions

TACAS 2019Author of Encoding Redundancy for Satisfaction-Driven Clause Learning within the TACAS 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile