2012
Contribution to conference
Unknown
iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session
Mazzanti F., Trentanni G.
tools for formal analysis and verification formal methods D.2 SOFTWARE ENGINEERING D.2.4 Software/Program Verification
Submissions accepted for the Posters & Tool Demos Session at iFM+ABZ 2012 Conference, Pisa, 18-21 June 2012
Source: Pisa: CNR-ISTI, 2012
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:214179,
title = {iFM 2012 \& ABZ 2012 - Proceedings of the Posters \& Tool demos Session},
author = {Mazzanti F. and Trentanni G.},
booktitle = {Pisa: CNR-ISTI, 2012},
year = {2012}
}
0000-0003-4562-8777CNR ExploRA
DEPLOY
Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability
