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