Bando n. 19 – assegno A dal titolo: “Games, abstraction and up-to techniques for software system verification” – resp. scient. Prof. Paolo Baldan
Scadenza: 07/11/2019
Bando di selezione per il conferimento di n.1 assegno per lo svolgimento di attività di ricerca nell’ambito del progetto dal titolo “Games, abstraction and up-to techniques for software system verification” da svolgersi presso il Dipartimento di Matematica “Tullio Levi-Civita” sotto la supervisione del Prof. Paolo Baldan, in qualità di Responsabile Scientifico.
