2021
Other
Unknown
Sito web del laboratorio ISTI "Formal Methods & Tools"
Trentanni G.
CNR ISTI FMT Lab Formal Methods and Tools Laboratory Formal Methods
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)
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:462992,
title = {Sito web del laboratorio ISTI "Formal Methods \& Tools"},
author = {Trentanni G.},
year = {2021}
}
0000-0002-6727-5266