Not registered as user yet

Name:Reinhard von Hanxleden
Affiliation:Kiel University

Contributions

REBLS 2018 Synthesizing Manually Verifiable Code for Statecharts
Show activities from other conferences

SPLASH 2018-profile
View general profile