Not registered as user yet

Name: Reinhard von Hanxleden

Affiliation: Kiel University

Contributions

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