Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Steven Smyth
conf.researchr.org general profile
SPLASH 2018 profile
SPLASH 2019 profile
Not registered as user
Name:
Steven Smyth
Affiliation:
Kiel University
Contributions
2019
REBLS
Committee Member in Program Committee within the REBLS-track
2018
REBLS
Committee Member in Program Committee within the REBLS 2018-track
Author of Synthesizing Manually Verifiable Code for Statecharts within the REBLS 2018-track
Share
x
Sun 22 Dec 13:25