Preface. International Journal on Software Tools for Technology Transfer

Articolo

Data di Pubblicazione:

2009

Tipologia CRIS:

01.07 Editoriale in rivista

Keywords:

Formal methods; Industrial critical systems

Elenco autori:

Massink, Mieke

Autori di Ateneo:

MASSINK MIEKE

Link alla scheda completa:

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

Pubblicato in:

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (PRINT)

Journal

Dati Generali

URL

https://link.springer.com/article/10.1007%2Fs10009-009-0121-6