PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness
DSpace/Manakin Repository
PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness
Bergstra, J.A.; Tiuryn, J.
(1984) Lecture Notes in Computer Science, volume 164, pp. 45 - 56
(Article in proceedings)
Download/Full Text
Open Access version via Utrecht University Repository
Publisher: Springer Verlag
See
more statistics
about this item