Bandi e concorsi, home

Assegno di ricerca - Specifica e verifica di proprietà temporali per modelli a iper-dottrine basati su grafi