Strumenti Utente

Strumenti Sito


magistraleinformatica:rob:start

Gestore Media

Selezione dei file

File in dm

File

Data:
28/02/2013 alle 10:18 (7 anni fa)
Nome File:
01-model-checking-overview.pdf
Dimensione:
46KB
Riferimenti a:
Metodi per la Verifica del Software (A.A. 2012/13)
magistraleinformatica/rob/start.txt · Ultima modifica: 27/03/2020 alle 12:12 (3 giorni fa) da Cecilia Laschi