FormaliSE is a yearly workshop on Formal Methods in Software Engineering. FormaliSE is organised by FME (Formal Methods Europe) and is co-located with ICSE (International Conference on Software Engineering).
4th FME Workshop on Formal Methods in Software Engineering Procedings
Gnesi S;
2016
Abstract
FormaliSE is a yearly workshop on Formal Methods in Software Engineering. FormaliSE is organised by FME (Formal Methods Europe) and is co-located with ICSE (International Conference on Software Engineering).File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_366993-doc_121282.pdf
accesso aperto
Descrizione: 4th FME Workshop on Formal Methods in Software Engineering Procedings
Tipologia:
Versione Editoriale (PDF)
Dimensione
533.01 kB
Formato
Adobe PDF
|
533.01 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.