What kind of institution is the academic organization of the writer who authored 'Mathematics of Software Engineering'?
education
Manfred Broy et al.: Service-Oriented Modeling of CoCoME with Focus and AutoFocus. (2007) authored by Manfred Broy. Manfred Broy 2YrMeanCitedness 0.772725105285644531. Manfred Broy modified 2023-10-18. Manfred Broy is Person. Christoph Legat et al.: Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance. Manfred Broy and Thomas Streicher: Modular functional modelling of Petri nets with individual tokems. (1990) authored by Manfred Broy. Manfred Broy and Leslie Lamport: The RPC-Memory Specification Problem - Problem Statement. (1994) authored by Manfred Broy. Manfred Broy citedByCount 6726. Manfred Broy and Christian Lengauer: On Denotational versus Predicted Semantics. (1991) authored by Manfred Broy. K. Venkatesh Prasad and Martin Wirsing: Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Germany (1982). Manfred Broy and Ernst-Rüdiger Olderog: Trace-Oriented Models of Concurrency. (2001) authored by Manfred Bro Manfred Broy orcidId https://orcid.org/0000-0003-2649-1752. Manfred Broy: Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. (1992) authored by Manfred Broy. Stavros Tripakis et al.: A Modular Visual Model for Hybrid Systems. (1998) authored by Manfred Broy. Manfred Broy'<unk>. Detlef Schmid and Manfred Broy:... noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung. (2000) authored by Manfred Broy. Sebastián Uchitel et al.: On the correctness of upper layers of automotive systems. (2008) authored by Manfred Broy.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: What kind of institution is the academic organization of the writer who authored 'Mathematics of Software Engineering'?
Context: Manfred Broy et al.: Service-Oriented Modeling of CoCoME with Focus and AutoFocus. (2007) authored by Manfred Broy. Manfred Broy 2YrMeanCitedness 0.772725105285644531. Manfred Broy modified 2023-10-18. Manfred Broy is Person. Christoph Legat et al.: Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance. Manfred Broy and Thomas Streicher: Modular functional modelling of Petri nets with individual tokems. (1990) authored by Manfred Broy. Manfred Broy and Leslie Lamport: The RPC-Memory Specification Problem - Problem Statement. (1994) authored by Manfred Broy. Manfred Broy citedByCount 6726. Manfred Broy and Christian Lengauer: On Denotational versus Predicted Semantics. (1991) authored by Manfred Broy. K. Venkatesh Prasad and Martin Wirsing: Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Germany (1982). Manfred Broy and Ernst-Rüdiger Olderog: Trace-Oriented Models of Concurrency. (2001) authored by Manfred Bro Manfred Broy orcidId https://orcid.org/0000-0003-2649-1752. Manfred Broy: Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. (1992) authored by Manfred Broy. Stavros Tripakis et al.: A Modular Visual Model for Hybrid Systems. (1998) authored by Manfred Broy. Manfred Broy'<unk>. Detlef Schmid and Manfred Broy:... noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung. (2000) authored by Manfred Broy. Sebastián Uchitel et al.: On the correctness of upper layers of automotive systems. (2008) authored by Manfred Broy.
[/INST] Answer:
