Reinhard von Hanxleden - Onward! 2018

Write a Blog >>

Wed 7 - Thu 8 November 2018 Boston, Massachusetts, United States

co-located with SPLASH 2018

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