2010
Other
Unknown
Sito web "SEFM2010 - The eighth IEEE International Conference on Software Engineering and Formal Methods"
Trentanni G.
Software Engineerig 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