Annabelle McIver

Research Outputs

Research Output per year

1987 2020

• 1247 Citations
• 18 h-Index
• 47 Conference proceeding contribution
• 45 Article
• 6 Chapter
• 3 Editorial
• 8 More
  • 2 Edited Book/Anthology
  • 2 Book
  • 2 Conference paper
  • 1 Foreword/postscript/introduction
  • 1 Short survey

Research Output per year

Research Output per year

Search results

• 2019

  Preface

  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 proceeding › Foreword/postscript/introduction