|
|||||
|
|
Operational machine specification in a functional programming language |
|
| Authors: | P W M Koopman M C J D Van Eekelen M J Plasmeijer |
| Abstract: | |
| Keywords: | functional programming language formal specification machine specification prototype implementation executable specification |
