Skip to Main Content (Press Enter)

×
Home
People
Outputs
Organizations
Expertise & Skills

UNI-FIND

|

UNI-FIND

cnr.it

×
Home
People
Outputs
Organizations
Expertise & Skills

Outputs

Editorial

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/400093

Full Text:

https://iris.cnr.it//retrieve/handle/20.500.14243/400093/131096/prod_456526-doc_176700.pdf

https://iris.cnr.it//retrieve/handle/20.500.14243/400093/131097/prod_456526-doc_176701.pdf

Published in:

FORMAL ASPECTS OF COMPUTING

Journal

Overview

Overview

URL

https://link.springer.com/article/10.1007%2Fs00165-021-00559-y

Use of cookies

Powered by VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)