Titolo del corso
Static and Dynamic Software Analysis
Codice identificativo del corso
1819-87R-SDSA
Slide: Introduction to Specifications in Linear Temporal Logic (slides provided by A. Artale)
Per visualizzare il file, fai click su questo link: SlideLTL.pdf