APLAS 2019 (series) / Roland Meyer

Registered user since Mon 10 Jun 2019
Name: Roland Meyer
Country: Germany
Affiliation: TU Braunschweig
Personal website: https://www.tcs.cs.tu-bs.de
Research interests: Formal Verification, Programming Languages, Concurrency Theory, Automata Theory, Logic
Contributions
APLAS 2019 | Ordinary PC member in Program Committee within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
APLAS 2019-profile
View general profile
View general profile