ritrovo_matematici_ex_supe

The Safety Fragment of Temporal Logics on Infinite Sequences

a.a. 2023/4

Responsabile didattico: Angelo Montanari

Docenti: Angelo Montanari (11 ore), Luca Geatti (17 ore)

Periodo: secondo semestre

Durata: 28 ore

Programma: TBA

Corsi a.a. 2023/2024