The axiomatic semantics of while programs based on Hoare's logic
DSpace/Manakin Repository
The axiomatic semantics of while programs based on Hoare's logic
(1984) Acta Informatica, volume 21, pp. 293 - 320
(Article)
Download/Full Text
ISSN: 0001-5903
Publisher: Springer-Verlag
See more statistics about this item