• 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

REBLS 2017 Author of Verifiable Reactive Software within the REBELS-track
REBLS 2015 Author of Real-Time Deadlines in Functional-Reactive Programming within the REBLS-track
DSLDI Author of SMAST: Constructing Languages for Multi-Disciplinary Engineering Problems within the DSLDI-track

Share
xWed 25 May 09:19
using conf.researchr.org (v1.55.6)
Support page
Sign Up