Formal derivation of a stable marriage algorithm

A. Bijlsma

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Fingerprint

Dive into the research topics of 'Formal derivation of a stable marriage algorithm'. Together they form a unique fingerprint.