International Ercim Workshop on Formal Methods for Industrial Critical System, 2., Cesena, 1997
Conference Paper
Publication Date:
1997
abstract:
An abstract is not avaiable
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Formal Methods
List of contributors: