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

Science of Computer Programming 2026

View at publisher
Authors: Haniel Barbosa, Yoni Zohar
DOI: 10.1016/j.scico.2026.103468
Cited by: 0

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems semigroups and automata theory

Publication details

Journal / source
Science of Computer Programming
Volume
252
Pages
103468–103468
Publication date
27 February 2026
Language
EN