2010
Other
Metadata Only Access
Sito web "SEFM2010 - The eighth IEEE International Conference on Software Engineering and Formal Methods"
Trentanni G
Software Engine Formal Methods
Web Site related to the eighth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010)
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:463067,
title = {Sito web "SEFM2010 - The eighth IEEE International Conference on Software Engineering and Formal Methods"},
author = {Trentanni G},
year = {2010}
}CNR authorsLaboratories
0000-0002-6727-5266