Publications
- Language Engineering as an Enabler for Incrementally Defined Formal Analyses In FormSERA 2012 (ICSE Workshop), 2012. Details BIB
- mbeddr - an Extensible C-based Programming Language and IDE for Embedded Systems In Gourab Sen Gupta , Donald Bailey , Serge Demidenko and Dale Carnegie , editor, Proceedings of Wavefront/SPLASH 2012, 2012. Details BIB