Lettura collodiana
Institute of Italian Studies
Date: 9 December 2020
9 dicembre 2020
Pinoculus
Corrado Bologna
Institute of Italian Studies
Date: 9 December 2020
9 dicembre 2020
Pinoculus
Corrado Bologna
CTL* Verification and Synthesis using Existential Horn Clauses
Faculty of InformaticsIdEP Seminar, Roberto Nisticò - "Workplace Peer Effects in Fertility Decisions"
Faculty of EconomicsInteraction Substitution for Mobile Games Accessibility and Exergaming
Faculty of Informatics