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)
2021
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
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)
CNR
ISTI
FMT Lab
Formal Methods and Tools Laboratory
Formal Methods
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/439507
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact