The Brazilian Symposium on Formal Methods (SBMF) is an event organized by the SBC since 2004. The proceedings of SBMF are annually published, with papers accepted for each edition.
Topics of Interest
SBMF topics of interest include, but are not limited to:
- Applications of formal Methods
- Specification and modeling languages
- Theoretical foundations
- Verification and validation
- Experience reports
Additional information
You can find more information about SBMF by visiting the event's website.
