2010
Book
Open Access
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
Publisher: CNR-Area Ricerca Pisa
Back to previous page
BibTeX entry
@book{oai:it.cnr:prodotti:139066,
title = {SEFM 2010 - Poster and Tool Demo Session Proceedings},
author = {Mazzanti F and Trentanni G},
publisher = {CNR-Area Ricerca Pisa},
year = {2010}
}
0000-0003-4562-8777