Tipologia bando:
Assegni di ricerca
Codice bando:
2
SSD:
Bando:
Data pubblicazione:
Mer, 08/01/2020
Data scadenza:
Ven, 07/02/2020
Allegati vari:
errata corrige:
Criteri di valutazione:
SPC:
2020-0070-1340-149927
Solvers for reactive synthesis for Linear Time Temporal Specification on Finite Traces
Data di aggiornamento: 10/03/2020 - 15:33