H. Langmaack

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A proof of a theorem of Lipton on Hoare Logic and applications
H. Langmaack (1980) · Ber. 8003
On procedures as open subroutines. II
H. Langmaack (1974) · Springer Science and Business Media LLC