Hans Langmaack

• Formal techniques in real-time and fault-tolerant systems
• 1. Fachtagung über Programmiersprachen
• 1. Fachtagung Über Programmiersprachen
• Compositionality
• Compositionality : the Significant Difference
• VDM '90. VDM and Z - Formal Methods in Software Development
• Zur Konstruktion von Holomorphiehüllen unverzweigeter Gebiete über dem Cn