PROGRAMMING LANGUAGES AND SOFTWARE VERIFICATION - Lecturer: Alessandro Aldini - A.Y. 2019/2020