Non abbiamo ancora una biografia di Hans Langmaack.
Pubblicato in Inglese · Tedesco
1. Fachtagung über Programmiersprachen
1972
VDM '90. VDM and Z - Formal Methods in Software Development
2014
Formal techniques in real-time and fault-tolerant systems
1994
Compositionality : the Significant Difference
2003
Otium
