Formal Aspects of Computing. The International Journal of Formal Methods. Special issue on formal methods for industrial critical systems.

Curatela

Data di Pubblicazione:

1998

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:

LATELLA DIEGO

Link alla scheda completa:

Pubblicato in:

Journal