Login / Signup

Operational Machine Specification in a Functional Programming Language.

Pieter W. M. KoopmanMarko C. J. D. van EekelenMarinus J. Plasmeijer
Published in: Softw. Pract. Exp. (1995)
Keyphrases