Science of Computer Programming. Special issue on formal methods for industrial critical systems

Curatela
Data di Pubblicazione:
2000
Abstract:
Formal methods for industrial critical systems
Tipologia CRIS:
01.10 Curatela di numero monografico in rivista
Keywords:
formal methods; industrial critical systems
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/231790
Pubblicato in:
SCIENCE OF COMPUTER PROGRAMMING
Journal