Registered user since Wed 22 Aug 2018

Name: Christoph Rauch

Affiliation: FAU Erlangen-N├╝rnberg, Lehrstuhl 8

Contributions

VMCAI 2020Author of Cheap CTL Compassion in NuSMV within the VMCAI 2020-track
HOPE 2018Author of A Metalanguage for Guarded Iteration within the HOPE 2018-track