2000
Contribution to journal
Unknown
Science of Computer Programming. Special issue on formal methods for industrial critical systems
Quellar J., Gnesi S., Latella D.
formal methods; industrial critical systems
Formal methods for industrial critical systems
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:190097,
title = {Science of Computer Programming. Special issue on formal methods for industrial critical systems},
author = {Quellar J. and Gnesi S. and Latella D.},
year = {2000}
}
0000-0002-0139-0421CNR ExploRA