1998
Contribution to journal
Unknown
Formal Aspects of Computing. The International Journal of Formal Methods. Special issue on formal methods for industrial critical systems.
Gnesi S., Latella D.
formal methods; industrial critical systems.
formal methods for industrial critical systems.
Source: Berlin: Springer-Verlag Berlin, 1998
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:190099,
title = {Formal Aspects of Computing. The International Journal of Formal Methods. Special issue on formal methods for industrial critical systems.},
author = {Gnesi S. and Latella D.},
year = {1998}
}
0000-0002-0139-0421CNR ExploRA