1 paper
Simon Foster, James Baxter, Ana Cavalcanti +2
The growing complexity and diversity of models used in the engineering of dependable systems implies that a variety of formal methods, across differing abstractions, paradigms, and…