Publication:4136516
From MaRDI portal
zbMath0362.68033MaRDI QIDQ4136516
Richard Waldinger, Zohar Manna
Publication date: 1976
68N01: General topics in the theory of software
Related Items
zbMath0362.68033MaRDI QIDQ4136516
Richard Waldinger, Zohar Manna
Publication date: 1976
68N01: General topics in the theory of software
Related Items