Not registered as user yet

Name:Reinhard von Hanxleden
Affiliation:Kiel University

Contributions

REBLS 2018 Author of Synthesizing Manually Verifiable Code for Statecharts within the REBLS 2018-track