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-profile
View general profile
View general profile