Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017)

Simone Cavalheiro (Lead / Corresponding author), José Luiz Fiadeiro

Research output: Contribution to journal › Editorial › peer-review

Original language	English
Article number	102427
Number of pages	1
Journal	Science of Computer Programming
Volume	191
Early online date	17 Feb 2020
DOIs	https://doi.org/10.1016/j.scico.2020.102427
Publication status	Published - 1 Jun 2020

ASJC Scopus subject areas

@article{f9dd16968ad447a683a5631266cd5146,

title = "Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017)",

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

year = "2020",

month = jun,

day = "1",

doi = "10.1016/j.scico.2020.102427",

language = "English",

volume = "191",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

}

TY - JOUR

T1 - Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017)

AU - Cavalheiro, Simone

AU - Fiadeiro, José Luiz

PY - 2020/6/1

Y1 - 2020/6/1

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

U2 - 10.1016/j.scico.2020.102427

DO - 10.1016/j.scico.2020.102427

M3 - Editorial

AN - SCOPUS:85079650503

SN - 0167-6423

VL - 191

JO - Science of Computer Programming

JF - Science of Computer Programming

M1 - 102427

ER -