Reinhard von Hanxleden - SPLASH 2018

Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States

Registered user since Sat 31 May 2025

Name:Reinhard von Hanxleden

Affiliation:Kiel University

Contributions

2018

REBLS

Synthesizing Manually Verifiable Code for Statecharts

Show activities from other conferences

SPLASH 2018-profile
View general profile