Not registered as user yet

Name:Sigurd Schneider
Affiliation:Saarland University

Contributions

CPP 2016 Author of Axiomatic Semantics for Compiler Verification within the CPP-track