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