Formal Methods: Foundations and Applications - 24th Brazilian Symposium Proceedings | DealShopping Deutschland