Integrated Formal Methods: 7th International Conference - Michael Leuschel Heike Wehrheim
Organisationen im Spannungsfeld von Stabilitat und Dynamik - Analyse dynamischer Fahigkeiten als Innovationsroutinen in verschiedenen Organisationsstrukturtypen anhand formaler Strukturelemente - [Dissertation]
Organisationen im Spannungsfeld von Stabilitat und Dynamik - Analyse dynamischer Fahigkeiten als Innovationsroutinen in verschiedenen Organisationsstrukturtypen anhand formaler Strukturelemente - [Dissertation]
Foundations of Algebraic Specification and Formal Software Development - Donald Sannella and Andrzej Tarlecki