• Sign in
  • Sign up
conf.researchr.org / Steven Smyth
  • SPLASH 2018 profile
  • SPLASH 2019 profile
No Photo

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
xWed 21 May 23:01
using conf.researchr.org (v1.69.0)
Support page
Sign Up