• 1136 Citations
  • 18 h-Index
1987 …2023

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Outputs

Filter
Book
2005

Abstraction, refinement and proof for probabilistic systems

McIver, A. & Morgan, C., 2005, New York, USA: Springer, Springer Nature.

Research output: Book/ReportBook