conf.researchr.org / Christoph Rauch
Registered user since Wed 22 Aug 2018
Name:Christoph Rauch
Affiliation:FAU Erlangen-Nürnberg, Lehrstuhl 8
Contributions
VMCAI 2020 | Author of Cheap CTL Compassion in NuSMV within the VMCAI 2020-track |
HOPE 2018 | Author of A Metalanguage for Guarded Iteration within the HOPE 2018-track |