VDM '90. VDM and Z - Formal Methods in Software DevelopmentDines Bjørner, C.A.R. Hoare, Hans Langmaack · First published 2014Open the Tome
CompositionalityWillem-Paul de Roever, Hans Langmaack, Amir Pnueli · First published 1998 · Latest edition 2003Open the Tome
Formal techniques in real-time and fault-tolerant systemsHans Langmaack, Willem-Paul de Roever, Jan Vytopil · First published 1994Open the Tome
Der Einfluss der chemischen Feinstruktur von Vaselinen auf die physikalischen und technologischen Eigenschaften sowie der Nachweis hochpolymerer ZusätzeHans-Jürgen Langmaack · First published 1974Open the Tome
1. Fachtagung über ProgrammiersprachenHans Langmaack, Manfred Paul · First published 1972Open the Tome
Zur Konstruktion von Holomorphiehüllen unverzweigeter Gebiete über dem CnHans Langmaack · First published 1960Open the Tome
