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

Edited Book
Publication Date:
2001
abstract:
An abstract is not available.
Iris type:
01.10 Curatela di numero monografico in rivista
Keywords:
Formal methods; Industrial critical systems; Software/program verification
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/231786
Published in:
FORMAL METHODS IN SYSTEM DESIGN
Journal