Formal methods: practical applications and foundations

Academic Article

Publication Date:

2021

Iris type:

01.07 Editoriale in rivista

Keywords:

Formal Methods

List of contributors:

TER BEEK, MAURICE HENRI

Authors of the University:

TER BEEK MAURICE HENRI

Handle:

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

Full Text:

https://iris.cnr.it//retrieve/handle/20.500.14243/401368/179083/prod_455288-doc_175879.pdf

Published in:

FORMAL METHODS IN SYSTEM DESIGN

Journal

Overview

URL

https://link.springer.com/article/10.1007/s10703-021-00380-6