Annabelle McIver


  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
1987 …2020

Research output per year

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

Search results

  • 2019


    ter Beek, M. H., McIver, A. & Oliveira, J. N., 2019, Formal methods - the next 30 years: third World Congress, FM 2019 Porto, Portugal, October 7–11, 2019 Proceedings. Cham, Switzerland: Springer, Springer Nature, p. v-vi 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11800).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript/introduction