APLAS 2019 (series) / Roland Meyer
![Roland Meyer](https://conf.researchr.org/getProfileImage/rolandmeyer/af5db68e-5fff-4682-8140-1c5a60b140d7/small.jpg?1712044566000)
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-profile
View general profile
View general profile