SPLASH 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
SPLASH 2018 (series) / Steven Smyth
Steven Smyth

Not registered as user yet

Name: Steven Smyth

Affiliation: Kiel University

Contributions

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

SPLASH 2018-profile
View general profile