conf.researchr.org / Stefan Mitsch
Not registered as user yet
Name: Stefan Mitsch
Affiliation: Carnegie Mellon University, USA
Contributions
| PLDI 2018 | Author of VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models within the PLDI Research Papers-track |