Preface. International Journal on Software Tools for Technology Transfer

Academic Article

Publication Date:

2009

Iris type:

01.07 Editoriale in rivista

Keywords:

Formal methods; Industrial critical systems

List of contributors:

Massink, Mieke

Authors of the University:

MASSINK MIEKE

Handle:

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

Published in:

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (PRINT)

Journal

Overview

URL

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