The axiomatic semantics of programs based on Hoare's logic
Keyword(s):
1982 ◽
Vol 38
(2)
◽
pp. 380-381
Keyword(s):
1991 ◽
Vol 39
(1)
◽
pp. 27-33
◽
Keyword(s):
1993 ◽
pp. 347-356
2018 ◽
Vol 100
◽
pp. 152-184
◽
Keyword(s):
1986 ◽
Vol 11
(3-4)
◽
pp. 173-191
◽
Keyword(s):
2001 ◽
Vol 269
(1-2)
◽
pp. 231-282
◽
Keyword(s):