Write a Blog >>

Registered user since Wed 22 Aug 2018

Name:Christoph Rauch
Country:Germany
Affiliation:FAU Erlangen-Nürnberg, Lehrstuhl 8

Contributions

VMCAI 2020 Cheap CTL Compassion in NuSMV
Show activities from other conferences

POPL 2020-profile
View general profile