Preface

Simone Cavalheiro; José Fiadeiro

doi:10.1007/978-3-319-70848-5

Preface

Simone Cavalheiro, José Fiadeiro

Science and Engineering Office

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Formal Methods: Foundations and Applications
Subtitle of host publication	20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Editors	Simone Cavalheiro, José Fiadeiro
Publisher	Springer
Volume	10623
ISBN (Electronic)	978-3-319-70848-5
ISBN (Print)	978-3-319-70847-8
DOIs	https://doi.org/10.1007/978-3-319-70848-5
Publication status	Published - Nov 2017
Event	20th Brazilian Symposium on Formal Methods, SBMF 2017 - Recife, Brazil Duration: 29 Nov 2017 → 1 Dec 2017

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
ISSN (Print)	0302-9743

Conference

Conference	20th Brazilian Symposium on Formal Methods, SBMF 2017
Country/Territory	Brazil
City	Recife
Period	29/11/17 → 1/12/17

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-70848-5

Cite this

Cavalheiro, S., & Fiadeiro, J. (2017). Preface. In S. Cavalheiro, & J. Fiadeiro (Eds.), Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings (Vol. 10623). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Springer . https://doi.org/10.1007/978-3-319-70848-5

Cavalheiro, Simone ; Fiadeiro, José. / Preface. Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. editor / Simone Cavalheiro ; José Fiadeiro. Vol. 10623 Springer , 2017. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{10ee9a2edb634e16a9e18692c35be926,

title = "Preface",

author = "Simone Cavalheiro and Jos{\'e} Fiadeiro",

year = "2017",

month = nov,

doi = "10.1007/978-3-319-70848-5",

language = "English",

isbn = "978-3-319-70847-8",

volume = "10623",

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

publisher = "Springer ",

editor = "Cavalheiro, {Simone } and Fiadeiro, {Jos{\'e} }",

booktitle = "Formal Methods: Foundations and Applications",

note = "20th Brazilian Symposium on Formal Methods, SBMF 2017 ; Conference date: 29-11-2017 Through 01-12-2017",

}

Cavalheiro, S & Fiadeiro, J 2017, Preface. in S Cavalheiro & J Fiadeiro (eds), Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. vol. 10623, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer , 20th Brazilian Symposium on Formal Methods, SBMF 2017, Recife, Brazil, 29/11/17. https://doi.org/10.1007/978-3-319-70848-5

Preface. / Cavalheiro, Simone; Fiadeiro, José.
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. ed. / Simone Cavalheiro; José Fiadeiro. Vol. 10623 Springer , 2017. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Preface

AU - Cavalheiro, Simone

AU - Fiadeiro, José

PY - 2017/11

Y1 - 2017/11

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

U2 - 10.1007/978-3-319-70848-5

DO - 10.1007/978-3-319-70848-5

M3 - Conference contribution

AN - SCOPUS:85035121406

SN - 978-3-319-70847-8

VL - 10623

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

BT - Formal Methods: Foundations and Applications

A2 - Cavalheiro, Simone

A2 - Fiadeiro, José

PB - Springer

T2 - 20th Brazilian Symposium on Formal Methods, SBMF 2017

Y2 - 29 November 2017 through 1 December 2017

ER -

Cavalheiro S, Fiadeiro J. Preface. In Cavalheiro S, Fiadeiro J, editors, Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. Vol. 10623. Springer . 2017. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-70848-5

Preface

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this