ON THE SPECIFICATION AND DESIGN OF PROGRAMS: SET-THEORETIC CONCEPTS.

Research output: Contribution to journalConference articlepeer-review

Fingerprint Dive into the research topics of 'ON THE SPECIFICATION AND DESIGN OF PROGRAMS: SET-THEORETIC CONCEPTS.'. Together they form a unique fingerprint.