Algebraically specified programming systems and Hoare's logic
DSpace/Manakin Repository
Algebraically specified programming systems and Hoare's logic
(1981) Lecture Notes in Computer Science, volume 115, pp. 348 - 362
(Article in proceedings)
Download/Full Text
ISSN: 0302-9743
Publisher: Springer Verlag
See more statistics about this item