Toward formal development of programs from algebraic specifications: Implementations revisited

Donald Sannella, Andrzej Tarlecki

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Toward formal development of programs from algebraic specifications: Implementations revisited'. Together they form a unique fingerprint.

Computer Science

Economics, Econometrics and Finance