Not registered as user yet

Name: Christian Motika

Affiliation: Philotech Systementwicklung und Software GmbH

Contributions

REBLS 2018Author of Synthesizing Manually Verifiable Code for Statecharts within the REBLS 2018-track
Show activities from other conferences

SPLASH 2018-profile
View general profile