conf.researchr.org / Marcus Voelp
Not registered as user yet
Name:Marcus Voelp
Contributions
CPP 2017 | Author of Formally verified differential dynamic logic within the CPP-track |
Not registered as user yet
Contributions
CPP 2017 | Author of Formally verified differential dynamic logic within the CPP-track |