Not registered as user yet

Name: Sigurd Schneider

Affiliation: Saarland University

Personal website: https://www.ps.uni-saarland.de/~sdschn

Contributions

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