Submissions accepted for the Posters & Tool Demos Session at iFM+ABZ 2012 Conference, Pisa, 18-21 June 2012

Sottomissioni accettate per la Sessione Posters & Tool Demo della Conferenza iFM+ABZ 2012, Pisa 18-21 Giugno 2012

iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session

Mazzanti F;Trentanni G
2012

Abstract

Submissions accepted for the Posters & Tool Demos Session at iFM+ABZ 2012 Conference, Pisa, 18-21 June 2012
2012
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Sottomissioni accettate per la Sessione Posters & Tool Demo della Conferenza iFM+ABZ 2012, Pisa 18-21 Giugno 2012
tools for formal analysis and verification
formal methods
D.2 SOFTWARE ENGINEERING
D.2.4 Software/Program Verification
File in questo prodotto:
File Dimensione Formato  
prod_214179-doc_102440.pdf

accesso aperto

Descrizione: Curatela
Tipologia: Versione Editoriale (PDF)
Dimensione 33.2 MB
Formato Adobe PDF
33.2 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/177997
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact