2010
Contribution to conference
Unknown
SEFM 2010 - Poster and Tool Demo Session Proceedings
Mazzanti F., Trentanni G.
SOFTWARE ENGINEERING Formal methods Automated tools
Proceedings of the Poster and Tool Demo Session during the 8th IEEE International Conference on Software and Formal Methods (SEFM 2010) - CNR, Pisa, Italy 13-18 September 2010
Source: Pisa: CNR-Area Ricerca Pisa, 2010
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:139066,
title = {SEFM 2010 - Poster and Tool Demo Session Proceedings},
author = {Mazzanti F. and Trentanni G.},
booktitle = {Pisa: CNR-Area Ricerca Pisa, 2010},
year = {2010}
}
0000-0003-4562-8777CNR ExploRA