Write a Blog >>
Gert Smolka

Registered user since Mon 24 Apr 2017

Name:Gert Smolka
Affiliation:Saarland University

Contributions

CPP 2016 Axiomatic Semantics for Compiler Verification
Show activities from other conferences

POPL 2016-profile
View general profile