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