Web Site related to the Formal Methods and Tools (FMT) Laboratory afferent to the Institute of Information Science and Technologies "Alessandro Faedo" (ISTI) of the National Research Council of Italy (CNR)
Sito Web del Laboratorio di Metodi Formali (Formal Methods and Tools - FMT) dell'Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" (ISTI) del Consiglio Nazionale delle Ricerche (CNR)
Sito web del laboratorio ISTI "Formal Methods & Tools"
Trentanni G
2021
Abstract
Web Site related to the Formal Methods and Tools (FMT) Laboratory afferent to the Institute of Information Science and Technologies "Alessandro Faedo" (ISTI) of the National Research Council of Italy (CNR)File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.