Skip to main navigation
Skip to search
Skip to main content
Eindhoven University of Technology research portal Home
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facilities / Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
Implementing elements of the spec-calculus
Harold Weffers
Mathematics and Computer Science
Student thesis
:
Master
Date of Award
31 Aug 1995
Original language
English
Supervisor
R.C. Backhouse (Supervisor 1)
Cite this
Standard
Implementing elements of the spec-calculus
Weffers, H. (Author).
31 Aug 1995
Student thesis
:
Master