A characterization of program equivalence in terms of Hoare's logic

DSpace/Manakin Repository

A characterization of program equivalence in terms of Hoare's logic
 
Bergstra, J.A.; Terlouw., J.
(1981) Informatik-Fachberichte, volume 50, pp. 72 - 77
(Article in proceedings)
Download/Full Text
Open Access version via Utrecht University Repository
 
ISSN: 0343-3005
Publisher: Springer-Verlag
 
 
See more statistics about this item