Current Issue
2023: Proceedings of the 26th Brazilian Symposium on Formal Methods
The Proceedings of the 26th Brazilian Symposium on Formal Methods (SBMF 2023) bring the papers selected and presented in the edition of the event held in Manaus/AM, Brazil, from December 04-08, 2023. In this issue, the proceedings include 09 full papers. These papers were selected through a peer-review. The event's program committee was coordinated by Haniel Barbosa (UFMG, Brazil) and Yoni Zohar (Bar-Ilan University, Israel), who organized this volume. The articles in this volume were submitted on 08/11/2023, accepted for publication on 09/15/2023, with the final version submitted on 10/09/2023.
You can find more information about SBMF 2023 by visiting the website of the event.
Published:
2023-12-04
