1998
Contribution to journal
Unknown
Formal Methods in System Design. An International Journal. Special issue on formal methods for industrial critical systems.
Gnesi S., Latella D.
formal methods; industrial critical systems
Special issue on formal methods for industrial critical systems.
Source: London: Kluwer Academic Publ., 1998
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:190100,
title = {Formal Methods in System Design. An International Journal. Special issue on formal methods for industrial critical systems.},
author = {Gnesi S. and Latella D.},
year = {1998}
}
0000-0002-0139-0421CNR ExploRA