Martin Große-Rhode

• Mathematisch-strukturelle Grundlagen der Informatik
• Mathematisch-strukturelle Grundlagen der Informatik
• Semantic Integration of Heterogeneous Software Specifications
• Integration of Software Specification Techniques for Applications in Engineering