Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco. Verifying Programs by Bounded Tree-Width Behavior Graphs. In Vadim Malvone, Aniello Murano, editors, Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings. Volume 14282 of Lecture Notes in Computer Science, pages 116-132, Springer, 2023. [doi]
Abstract is missing.