Skip to content

A Lattice-theoretical Basis for a Specification Language.

Ralph-Johan Back, Joakim von Wright

VenueBMPC
Year1989
ProceedingsMPC

Browse the full MPC paper archive.