CNR Institutional Research Information System

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).
2016
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
VII
VII
978-1-4503-4159-2
http://dl.acm.org/citation.cfm?id=2897667&picked=prox
Publication of Conference ICSE'16 - 38th International Conference on Software Engineering. Scopus: 2-s2.0-84974623034
Formal Methods
Software engneering
2
04 Contributo in convegno::04.08 Curatela di Atti di convegno
Gnesi, S; Nico, P
284
info:eu-repo/semantics/other
open
04.08 Curatela di Atti di convegno
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
Visualizza/Apri
533.01 kB 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/331810
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact