Confluence for Process Verification

Files

preprint137.pdf (724.14 KB)

Publication date

1995-06

Authors

Groote, J.F.

Sellink, M.P.A.

Document Type

Preprint

Metadata

Show full item record

Collections

Utrecht University Repository

URI

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