conf.researchr.org / Cedric Baumann
Not registered as user yet
Name: Cedric Baumann
Affiliation: ETH Zurich
Contributions
| VMCAI 2018 | Author of Automatic Verification of RMA Programs via Abstraction Extrapolation within the VMCAI 2018-track |
Not registered as user yet
Name: Cedric Baumann
Affiliation: ETH Zurich
Contributions
| VMCAI 2018 | Author of Automatic Verification of RMA Programs via Abstraction Extrapolation within the VMCAI 2018-track |