27th Brazilian Symposium on Formal Methods (SBMF 2024)
4 4 people viewed this event.
27th Brazilian Symposium on Formal Methods (SBMF 2024) will be held in Vitória – Espírito Santo, Brazil on December 4-6, 2024.
All contributions related to formal methods, verification and validation are welcome.
All submissions should be written in english and prepared using Springer DBLP’s lecture notes in computer science (LNCS) format.
The deadline for sending submissions is August 18, 2024