Formal methods: foundations and applications. 24th Brazilian symposium, SBMF 2021, virtual event, December 6--10, 2021. Proceedings
scientific article