Proceedings of the third international workshop on formal methods for interactive systems (FMIS 2009)

Edited Book

Publication Date:

2009

abstract:

Special issue on the third international workshop on formal methods for interactive systems (FMIS 2009)

Iris type:

01.10 Curatela di numero monografico in rivista

Keywords:

formal methods; interactive systems

List of contributors:

Authors of the University:

MASSINK MIEKE

Handle:

Published in:

Journal