Angelic nondeterminism in the unifying theories of programming

A. (Ana) Cavalcanti, J. C. P. (Jim) Woodcock, S. E. (Steve) Dunne

Research output: Contribution to journalArticlepeer-review

174 Downloads (Pure)

Fingerprint Dive into the research topics of 'Angelic nondeterminism in the unifying theories of programming'. Together they form a unique fingerprint.

Mathematics