Recursive assertions are not enough - or are they?
DSpace/Manakin Repository
Recursive assertions are not enough - or are they?
Bergstra, J.A.; Apt, K.R.; Meertens, L.G.L.T.
(1979) Theoretical Computer Science : the journal of the EATCS, volume 8, pp. 73 - 87
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
ISSN: 0304-3975
Publisher: North-Holland Publishing Company
See
more statistics
about this item