Development via refinement in probabilistic B - Foundation and case study

Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Development via refinement in probabilistic B - Foundation and case study'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science