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