Onderzoek en ontwikkeling op het gebied van formele specificatietalen

Files

bergstra_90_onderzoek_ontwikkeling.pdf (4.78 MB)

Publication date

1990

Authors

Bergstra, J.A.

Renardel de Lavalette, G.R.

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository

URI

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