Provably correct programming and beyond

Files

bergstra_98_provablycorrectprogrammingandbeyond.pdf (147.19 KB)

Publication date

1998-10

Authors

Bergstra, J.A.

Document Type

Part of book or chapter of book

Metadata

Show full item record

Collections

Utrecht University Repository

URI

https://dspace.library.uu.nl/handle/1874/21402