Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Christian Motika
conf.researchr.org general profile
SPLASH 2018 profile
Not registered as user
Name:
Christian Motika
Affiliation:
Philotech Systementwicklung und Software GmbH
Contributions
2018
REBLS
Author of Synthesizing Manually Verifiable Code for Statecharts within the REBLS 2018-track
Share
x
Sun 22 Dec 13:30