View Scopus Profile

Annabelle McIver

Professor

Professor, Department of Computing

https://orcid.org/0000-0002-2405-9838

Phone+61 2 9850 9579
Emailannabelle.mciver@mq.edu.au

1136 Citations
18 h-Index

Research output per year

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

Research Outputs

1136 Citations
18 h-Index
45 Article
43 Conference proceeding contribution
6 Chapter
3 Editorial
7 More

1 results

Filter

2005

Abstraction, refinement and proof for probabilistic systems

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

Research output: Book/Report › Book

Your message has successfully been sent.

Your message was not sent due to an error.