Vai al contenuto principale

Home
I siti AulaWeb
AulaWeb 2023/24 AulaWeb 2022/23 AulaWeb 2021/22 Master Dottorati Scuole di specializzazione Tutti i siti AulaWeb
Servizi online
UniGe
corsi di studio genuawifi webmail biblioteche
Altro

Italiano ‎(it)‎

English ‎(en)‎ Italiano ‎(it)‎

Ospite

Login

Home I siti AulaWeb Minimizza Espandi

AulaWeb 2023/24 AulaWeb 2022/23 AulaWeb 2021/22 Master Dottorati Scuole di specializzazione Tutti i siti AulaWeb

Servizi online UniGe Minimizza Espandi

corsi di studio genuawifi webmail biblioteche

Tag
Model checking and testing of concurrent systems.

Dottorati

Model checking and testing of concurrent systems.

Interessi dell'utente

Riccardo Traverso

Ospite (Login)

Powered by Moodle