conf.researchr.org / Sigurd Schneider
Not registered as user yet
Name:Sigurd Schneider
Affiliation:Saarland University
Personal website:https://www.ps.uni-saarland.de/~sdschn
Contributions
| CPP 2016 | Author of Axiomatic Semantics for Compiler Verification within the CPP-track |