Operational Machine Specification in a functional programming language
Publication year
1993Publisher
Nijmegen : s.n.
Series
Technical Report ; CSI-R9316
Publication type
External research report
Display more detailsDisplay less details
Organization
Software Science
Security of Systems
Digital Security
Subject
Technical Report; Security of Systems; Software ScienceThis item appears in the following Collection(s)
- Academic publications [242767]
- Electronic publications [129609]
- Faculty of Science [36397]
- Open Access publications [104191]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.