Preface

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

Preface

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

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript/introduction › peer-review

Original language	English
Title of host publication	Formal methods - the next 30 years
Subtitle of host publication	third World Congress, FM 2019 Porto, Portugal, October 7–11, 2019 Proceedings
Place of Publication	Cham, Switzerland
Publisher	Springer, Springer Nature
Pages	v-vi
Number of pages	2
ISBN (Electronic)	978-3-030-30942-8
ISBN (Print)	978-3-030-30941-1
Publication status	Published - 2019
Event	23rd Symposium on Formal Methods, FM 2019, in the form of the 3rd World Congress on Formal Methods, 2019 - Porto, Portugal Duration: 7 Oct 2019 → 11 Oct 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer, Springer Nature
Volume	11800
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	23rd Symposium on Formal Methods, FM 2019, in the form of the 3rd World Congress on Formal Methods, 2019
Country/Territory	Portugal
City	Porto
Period	7/10/19 → 11/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). Springer, Springer Nature.

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

@inbook{74da3a176aa5475f958dace19b8bfa99,

title = "Preface",

author = "{ter Beek}, {Maurice H.} and Annabelle McIver and Oliveira, {Jos{\'e} N.}",

year = "2019",

language = "English",

isbn = "978-3-030-30941-1",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "v--vi",

booktitle = "Formal methods - the next 30 years",

address = "United States",

note = "23rd Symposium on Formal Methods, FM 2019, in the form of the 3rd World Congress on Formal Methods, 2019 ; Conference date: 07-10-2019 Through 11-10-2019",

}

ter Beek, MH, McIver, A & Oliveira, JN 2019, Preface. in Formal methods - the next 30 years: third World Congress, FM 2019 Porto, Portugal, October 7–11, 2019 Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11800, Springer, Springer Nature, Cham, Switzerland, pp. v-vi, 23rd Symposium on Formal Methods, FM 2019, in the form of the 3rd World Congress on Formal Methods, 2019, Porto, Portugal, 7/10/19.

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

Formal methods - the next 30 years: third World Congress, FM 2019 Porto, Portugal, October 7–11, 2019 Proceedings. Cham, Switzerland : Springer, Springer Nature, 2019. p. v-vi (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 › peer-review

TY - CHAP

T1 - Preface

AU - ter Beek, Maurice H.

AU - McIver, Annabelle

AU - Oliveira, José N.

PY - 2019

Y1 - 2019

UR - http://www.scopus.com/inward/record.url?scp=85076105808&partnerID=8YFLogxK

UR - https://doi.org/10.1007/978-3-030-30942-8

M3 - Foreword/postscript/introduction

AN - SCOPUS:85076105808

SN - 978-3-030-30941-1

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - v-vi

BT - Formal methods - the next 30 years

PB - Springer, Springer Nature

CY - Cham, Switzerland

T2 - 23rd Symposium on Formal Methods, FM 2019, in the form of the 3rd World Congress on Formal Methods, 2019

Y2 - 7 October 2019 through 11 October 2019

ER -

Preface

Publication series

Conference

Other files and links

Cite this