Rule-based : software verification and correction : ph. d. thesis / candidate: Demis Ballis ; supervisor: Moreno Falaschi, Maria Alpuente
2005.
1 v.
In testa al front.: Università degli studi di Udine, Dipartimento di matematica e informatica, dottorato di ricerca in informatica
BN 2006-5734T
INF/01 - Informatica


Tesi di dottorato. | Lingua: Inglese. | Paese: IT. | BID: BNI0020331
Biblioteca Inventario Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TVD980508203 TDR 2005 08203 Lettura tesi in sede