Alberto Molinari

Email: molinari.alberto@spes.uniud.it
Stanza: NS4
Telefono: +39 0432 558411

Sito personale: users.dimi.uniud.it/~alberto.molinari

Attività di ricerca

  • Automatic system verification
  • Interval temporal logics