Titolo del corso
Static and Dynamic Software Analysis
Codice identificativo del corso
1819-87R-SDSA
Slides: Promela - @ Spin Website
Slides: Promela
Per aprire la risorsa fai click su Slides: Promela - @ Spin Website
Slides: Promela