Pietro Lami

Tutor didattico

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Temi di ricerca

Parole chiave: Semantica operazionale Linguaggi reversibili Metodi Formali Reversibilità Computazionale