Kevin Baldor -

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