Sebastian Grobosch
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen