Proving program correctness in LCF
1974 ◽
pp. 59-71
◽
Keyword(s):
Keyword(s):
1979 ◽
Vol 105
(2)
◽
pp. 469-469
Keyword(s):
Keyword(s):
Keyword(s):
2013 ◽
Vol 427-429
◽
pp. 1285-1288
1981 ◽
Vol 107
(1)
◽
pp. 211-211
Keyword(s):