A propositional version of Hoare's logic
DSpace/Manakin Repository
A propositional version of Hoare's logic
Bergstra, J.A.; Terlouw, J.
(1981) Bulletin of the European Association for Theoretical Computer Science, volume 13, issue 14, pp. 18 - 25
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
ISSN: 0252-9742
Publisher: Karlsruhe : EATCS
See
more statistics
about this item