Selected papers from the 26th Brazilian symposium on formal methods – SBMF 2023

Research output: Contribution to journal › Editorial

Original language	English
Article number	103468
Journal	Science of Computer Programming
Volume	252
DOIs	https://doi.org/10.1016/j.scico.2026.103468
State	Published - Jul 2026

Access to Document

@article{1dfadcc568f747b8afaaec498aa864e9,

title = "Selected papers from the 26th Brazilian symposium on formal methods – SBMF 2023",

author = "Haniel Barbosa and Yoni Zohar",

year = "2026",

month = jul,

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

language = "אנגלית",

volume = "252",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - Selected papers from the 26th Brazilian symposium on formal methods – SBMF 2023

AU - Barbosa, Haniel

AU - Zohar, Yoni

PY - 2026/7

Y1 - 2026/7

UR - https://www.scopus.com/pages/publications/105032669961

U2 - 10.1016/j.scico.2026.103468

DO - 10.1016/j.scico.2026.103468

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.editorial???

AN - SCOPUS:105032669961

SN - 0167-6423

VL - 252

JO - Science of Computer Programming

JF - Science of Computer Programming

M1 - 103468

ER -