Preface

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira

Research output: Chapter in Book/Report/Conference proceedingForeword/postscript/introduction

Original languageEnglish
Title of host publicationFormal methods - the next 30 years
Subtitle of host publicationthird World Congress, FM 2019 Porto, Portugal, October 7–11, 2019 Proceedings
Place of PublicationCham, Switzerland
PublisherSpringer, Springer Nature
Pagesv-vi
Number of pages2
ISBN (Electronic)978-3-030-30942-8
ISBN (Print)978-3-030-30941-1
Publication statusPublished - 2019
Event23rd Symposium on Formal Methods, FM 2019, in the form of the 3rd World Congress on Formal Methods, 2019 - Porto, Portugal
Duration: 7 Oct 201911 Oct 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer, Springer Nature
Volume11800
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference23rd Symposium on Formal Methods, FM 2019, in the form of the 3rd World Congress on Formal Methods, 2019
CountryPortugal
CityPorto
Period7/10/1911/10/19

Cite this

ter Beek, M. H., McIver, A., & Oliveira, J. N. (2019). Preface. In Formal methods - the next 30 years: third World Congress, FM 2019 Porto, Portugal, October 7–11, 2019 Proceedings (pp. v-vi). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11800). Cham, Switzerland: Springer, Springer Nature.