Sidney C. Nogueira profile picture

Sidney C. Nogueira

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings