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