2001
Book
Unknown
Formal verification
Bernardeschi C., Fantechi A., Gnesi S.
Model ckecking Software/Program Verification. Formal methods
An abstract is not available.
Back to previous page
BibTeX entry
@book{oai:it.cnr:prodotti:138981,
title = {Formal verification},
author = {Bernardeschi C. and Fantechi A. and Gnesi S.},
year = {2001}
}
0000-0002-4648-4667CNR ExploRA