Annual report
The Annual Report is an account of the Service's activities.
The first edition covers the 2021-2022 academic year. The Annual Report is available only in Italian.
The Annual Report is an account of the Service's activities.
The first edition covers the 2021-2022 academic year. The Annual Report is available only in Italian.
Effective Automated Software Verification: A Multilayered Approach
Faculty of Informatics