FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems

Academic Article

Publication Date:

2006

abstract:

Report on the 10th edition of the FMICS international workshop held in Lisbon in 2005.

Iris type:

01.01 Articolo in rivista

Keywords:

D.2.4 Software/Program Verification

List of contributors:

Authors of the University:

MASSINK MIEKE

Handle:

Full Text:

Published in:

Journal