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
SEFM 2010 - Poster and Tool Demo Session Proceedings
Mazzanti F;Trentanni G
2010
Abstract
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 2010File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_139066-doc_132362.pdf
accesso aperto
Descrizione: SEFM 2010 - Poster and Tool Demo Session Proceedings
Tipologia:
Versione Editoriale (PDF)
Dimensione
23.42 MB
Formato
Adobe PDF
|
23.42 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
