Course start par Paolo Baldan, jeudi 14 mars 2024, 22:56 Nombre de réponses : 0 Dear students,this is a reminder that the course "Advanced Topics in Computer Science: Probabilistic and Statistical Verification" held by prof. Abate from Oxford University, will start on Monday, March 18, at 8:30 a.m. in room 1BC/50.Best regards Permalien