Editorial - Formal Aspects of Computing

Articolo

Data di Pubblicazione:

2019

Tipologia CRIS:

01.07 Editoriale in rivista

Keywords:

Formal methods

Elenco autori:

Gnesi, Stefania

Link alla scheda completa:

https://iris.cnr.it/handle/20.500.14243/379897

Link al Full Text:

https://iris.cnr.it//retrieve/handle/20.500.14243/379897/56591/prod_422753-doc_150371.pdf

Pubblicato in:

FORMAL ASPECTS OF COMPUTING

Journal

Dati Generali

URL

https://link.springer.com/article/10.1007%2Fs00165-019-00481-4