A case study of structured programming with correctness proofs
1976 ◽
pp. 276-286
Keyword(s):
Keyword(s):
Keyword(s):
1996 ◽
Vol 54
◽
pp. 636-637
1982 ◽
Vol 46
(6)
◽
pp. 314-322
1996 ◽
Vol 60
(4)
◽
pp. 348-350