• Sign in
  • Sign up
conf.researchr.org / Kevin Baldor
  • SPLASH 2014 profile
  • SPLASH 2015 profile
  • SPLASH 2017 profile

Registered user since Mon 11 Aug 2014

Name:Kevin Baldor

Contributions

2017

REBLS

  • Author of Verifiable Reactive Software within the REBELS-track

2015

REBLS

  • Author of Real-Time Deadlines in Functional-Reactive Programming within the REBLS-track

2014

DSLDI

  • Author of SMAST: Constructing Languages for Multi-Disciplinary Engineering Problems within the DSLDI-track
Share
xWed 27 Sep 01:03
using conf.researchr.org (v1.61.3)
Support page
Sign Up