Soares, L. D. C., Alvim, M. S.,
Bu, D.,
Fernandes, N. &
Liao, Y.,
2025,
Formal Methods: foundations and applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, proceedings. C. Nogueira, S. & Teodorov, C. (eds.). Cham:
Springer, Springer Nature,
p. 171-193 23 p. (Lecture Notes in Computer Science; vol. 15403).
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review