CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
POPL 2016 (series) / CPP 2016 (series) / Gert Smolka
Gert Smolka

Registered user since Mon 24 Apr 2017

Name:Gert Smolka
Affiliation:Saarland University
Personal website:http://ps.uni-saarland.de/~smolka

Contributions

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

POPL 2016-profile
View general profile