Operational Machine Specification in a functional programming language

Fulltext present in this item

Format: PDF

Description: publisher's version

Title:	Operational Machine Specification in a functional programming language
Author(s):	Koopman, P. ; Eekelen, M.C.J.D. van ; Plasmeijer, M.J.
Publication year:	1993
Publisher:	Nijmegen : [S.n.]
Series:	Technical Report ; CSI-R93-16
Publication type:	External research report
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/135260
Display more details
Subject:	Security of Systems Software Science
Organization:	Software Science Security of Systems Digital Security

Faculty of Science [28822]
Open Access publications [55967]
Freely accessible full text publications
Electronic publications [86204]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [186310]
Academic output Radboud University