2001
Contribution to journal
Unknown
Special issue on the fourth international workshop of the ERCIM working group on formal methods for industrial critical systems
Gnesi S., Latella D.
Formal methods Industrial critical systems Software/program verification
An abstract is not available.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:190093,
title = {Special issue on the fourth international workshop of the ERCIM working group on formal methods for industrial critical systems},
author = {Gnesi S. and Latella D.},
year = {2001}
}
0000-0002-0139-0421CNR ExploRA