Annabelle McIver

Professor

  • 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.
Filter
Foreword/postscript/introduction

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 proceedingForeword/postscript/introduction