Formal Aspects of Computing. The International Journal of Formal Methods. Special issue on formal methods for industrial critical systems.

Edited Book

Publication Date:

1998

abstract:

formal methods for industrial critical systems.

Iris type:

01.10 Curatela di numero monografico in rivista

Keywords:

formal methods; industrial critical systems.

List of contributors:

Authors of the University:

LATELLA DIEGO

Handle:

Published in:

Journal