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