DIFFERENTIAL PROGRAM SEMANTICS: COINDUCTION AND FORMAL SYSTEMS
- Periodo di riferimento: 24 mesi
- N. protocollo: 934
- Responsabile di procedimento: Dott.ssa Lucia Adamo
- Struttura: DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
-
La domanda può essere presentata ESCLUSIVAMENTE mediante modalità telematica accedendo al sito internet https://concorsi.unibo.it
The application must be presented exclusively via web, connecting to the “FrontOffice” within the website https://concorsi.unibo.it -