Publikationen
Liste als BibTeX-Datei exportieren
- 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 und Dale Carnegie , Editor, Proceedings of Wavefront/SPLASH 2012, 2012. Details BIB