The algebraic specification formalism ASF

Files

bergstra_89_algebraic_specification.pdf (7.17 MB)

Publication date

1989

Authors

Bergstra, J.A.

Heering, J.

Klint, P.

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/13976