International Ercim Workshop on Formal Methods for Industrial Critical System, 2., Cesena, 1997
Contributo in Atti di convegno
Data di Pubblicazione:
1997
Abstract:
An abstract is not avaiable
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Formal Methods
Elenco autori:
Gnesi, Stefania; Latella, Diego
Link alla scheda completa: