Special issue on the fourth international workshop of the ERCIM working group on formal methods for industrial critical systems

Curatela
Data di Pubblicazione:
2001
Abstract:
Sommario non disponibile.
Tipologia CRIS:
01.10 Curatela di numero monografico in rivista
Keywords:
Formal methods; Industrial critical systems; Software/program verification
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/231786
Pubblicato in:
FORMAL METHODS IN SYSTEM DESIGN
Journal