Preface

Simone Cavalheiro, José Fiadeiro

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationFormal Methods: Foundations and Applications
Subtitle of host publication20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
EditorsSimone Cavalheiro, José Fiadeiro
PublisherSpringer
Volume10623
ISBN (Electronic)978-3-319-70848-5
ISBN (Print)978-3-319-70847-8
DOIs
Publication statusPublished - Nov 2017
Event20th Brazilian Symposium on Formal Methods, SBMF 2017 - Recife, Brazil
Duration: 29 Nov 20171 Dec 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
ISSN (Print)0302-9743

Conference

Conference20th Brazilian Symposium on Formal Methods, SBMF 2017
CountryBrazil
CityRecife
Period29/11/171/12/17

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