Pubblicazioni
2024 - LOGICAL METHODS IN COMPUTER SCIENCE
Dantchev, S.; Galesi, N.; Ghani, A.; Martin, B.
2024 - LOGICAL METHODS IN COMPUTER SCIENCE
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael
2023 - LOGICAL METHODS IN COMPUTER SCIENCE
Boreale, Michele; Collodi, Luisa; Gorla, Daniele
2019 - LOGICAL METHODS IN COMPUTER SCIENCE
Gutierrez, J.; Harrenstein, P.; Perelli, G.; Wooldridge, M.
2017 - LOGICAL METHODS IN COMPUTER SCIENCE
Mogavero, F.; Murano, A.; Perelli, G.; Vardi, M. Y.