Provably correct programming and beyond
DSpace/Manakin Repository
Provably correct programming and beyond
Bergstra, J.A.
(1998) NWO-Huygens Lecture, pp. 37 - 49
(Part of book or chapter of book)
Download/Full Text
Open Access version via Utrecht University Repository
Publisher: Nederlandse Organisatie voor Wetenschappelijk Onderzoek
See
more statistics
about this item