Formal Methods: Foundations and Applications : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings - Lucas Lima - Övrigt | Bokus