Refinement of specifications and the stability of Hoare's logic
DSpace/Manakin Repository
Refinement of specifications and the stability of Hoare's logic
Bergstra, J.A.; Tucker, J.V.
(1982) Lecture Notes in Computer Science, volume 131, pp. 24 - 36
(Article in proceedings)
Download/Full Text
Open Access version via Utrecht University Repository
ISSN: 0302-9743
Publisher: Springer Verlag
See
more statistics
about this item