1998
Other
Unknown
Editorial
Gnesi S., Latella D.
Formal methods Software/Program Verification
In: Formal Aspects of Computing, 10 (1998), 311-312.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:408244,
title = {Editorial},
author = {Gnesi S. and Latella D.},
year = {1998}
}
0000-0002-0139-0421CNR ExploRA