Special issue on the First International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996 - Selected papers

Curatela
Data di Pubblicazione:
1998
Abstract:
An abstract is not available
Tipologia CRIS:
01.10 Curatela di numero monografico in rivista
Keywords:
Formal methods; Software/Program Verification
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/426720