2000
Contribution to conference
Unknown
Formal methods for distributed system development
Bolognesi T., Latella D.
Formal methods Distributed system development Software/program verification
An abstract is not available.
Source: London: Kluwer Academic Publ., 2000
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:190095,
title = {Formal methods for distributed system development},
author = {Bolognesi T. and Latella D.},
booktitle = {London: Kluwer Academic Publ., 2000},
year = {2000}
}
0000-0003-0854-2587CNR ExploRA