3rd workshop on formal approaches for advanced computing systems (FAACS)

Conference proceeding

Alessandro Bianchi, Matteo Camilli and Patrizia Scandurra

13th European Conference on Software Architecture, ECSA 2019, 9-13 September 2019, Paris, France; Proceedings -Volume 2

13th European Conference on Software Architecture, ECSA 2019 (Paris, 09/09/2019 - 13/09/2019)

2019

Handle:

https://hdl.handle.net/10863/19719

Abstract

Software Engineering (SwSE)

Formal methods

Software Engineering

url

https://dl.acm.org/doi/proceedings/10.1145/3344948View

Title: 3rd workshop on formal approaches for advanced computing systems (FAACS)
Creators: Alessandro Bianchi
Matteo Camilli
Patrizia Scandurra
Publication Details: 13th European Conference on Software Architecture, ECSA 2019, 9-13 September 2019, Paris, France; Proceedings -Volume 2
Editor(s): Duchien L, Koziolek A, Mirandola R, Martinez EMN, Quinton C, Scandariato R, Scandurra P, Trubiani C, Weyns D
ISBN: 9781450371421
Conference: 13th European Conference on Software Architecture, ECSA 2019 (Paris, 09/09/2019 - 13/09/2019)
Publisher: Association for Computing Machinery
New York, NY
Format: Online
Number of pages: 2
Identifiers: 9781450371421
(UNIBZ)39321669
991006217897701241
Scopus ID: 2-s2.0-85081968313
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Bianchi A, Camilli M, Scandurra P
Additional Description: Editors/Supervisors: Duchien L, Koziolek A, Mirandola R, Martinez EMN, Quinton C, Scandariato R, Scandurra P, Trubiani C, Weyns D
unibz-area: Software Engineering (SwSE)
ERC: Theoretical computer science, formal methods, and quantum computing;Software engineering, operating systems, computer languages
ERCCODE: PE6_4;PE6_3
MIURSSD: Informatica;Sistemi di elaborazione delle informazioni
MIURSSDCODE: INF/01;ING-INF/05

1 Record Views