Unità didattica
Titolo del corso
Modelli della Concorrenza
Codice identificativo del corso
2223-1-F1801Q132-F1801Q132M
Model Checking: Algorithmic Verification and Debugging
Aggregazione dei criteri
Per visualizzare il file, fai click su questo link: p74-clarke.pdf