Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems.

Edited Book
Publication Date:
2005
abstract:
Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems
Iris type:
04.08 Curatela di Atti di convegno
Keywords:
formal methods; industrial critical systems
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/231776