Editorial - Formal Aspects of Computing

Academic Article

Publication Date:

2019

Iris type:

01.07 Editoriale in rivista

Keywords:

Formal methods

List of contributors:

Gnesi, Stefania

Handle:

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

Full Text:

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

Published in:

FORMAL ASPECTS OF COMPUTING

Journal

Overview

URL

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