Books by Michael Goedicke
Advancing Research in Informat
Advancing Research in Information and Communication Technology
Managed Software Evolution
Essentials of Modern Software Engineering
Proceedings of the 27th IEEE/A
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Eine Sprache zur formalen Spez
Eine Sprache zur formalen Spezifikation eingebetteter Systeme