Skip to content

Deriving Probabilistic Semantics Via the 'Weakest Completion'.

Jifeng He, Carroll Morgan, Annabelle McIver

VenueCICFEM
Year2004
ProceedingsICFEM

Browse the full ICFEM paper archive.