Research Output per year
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