Lukasz Czajka

Registered user since Mon 14 Oct 2019

Name:Lukasz Czajka
Affiliation:University of Innsbruck

Contributions

CoqPL 2018 CoqHammer: Strong Automation for Program Verification
Show activities from other conferences

POPL 2018-profile
View general profile