Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings

Farhad Arbab; Sung-Shik Jongmans

doi:10.1007/978-3-030-40914-2

Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings

Farhad Arbab (Editor), Sung-Shik Jongmans (Editor)

Research output: Book/Report › Book editing › Academic

Original language	English
Place of Publication	Cham
Publisher	Springer Nature Switzerland AG
ISBN (Electronic)	978-3-030-40914-2
ISBN (Print)	978-3-030-40913-5
DOIs	https://doi.org/10.1007/978-3-030-40914-2
Publication status	Published - 2020
Event	16th International Conference on Formal Aspects of Component Software - CWI (Centrum Wiskunde & Informatica) room L016, Amsterdam, Netherlands Duration: 23 Oct 2019 → 25 Oct 2019 Conference number: 16 http://facs2019.org/

Publication series

Series	Lecture Notes in Computer Science
Volume	12018
ISSN	0302-9743

Series	Programming and Software Engineering LNPSE
Volume	12018

Access to Document

10.1007/978-3-030-40914-2

Cite this

@book{6c3eaf1db6804a60b467fa70d2d13e84,

title = "Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings",

editor = "Farhad Arbab and Sung-Shik Jongmans",

year = "2020",

doi = "10.1007/978-3-030-40914-2",

language = "English",

isbn = "978-3-030-40913-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature Switzerland AG",

address = "Switzerland",

note = "16th International Conference on Formal Aspects of Component Software, FACS 2019 ; Conference date: 23-10-2019 Through 25-10-2019",

url = "http://facs2019.org/",

}

Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings. / Arbab, Farhad (Editor); Jongmans, Sung-Shik (Editor).
Cham: Springer Nature Switzerland AG, 2020. (Lecture Notes in Computer Science, Vol. 12018). (Programming and Software Engineering LNPSE, Vol. 12018).

Research output: Book/Report › Book editing › Academic

TY - BOOK

T1 - Formal Aspects of Component Software

T2 - 16th International Conference on Formal Aspects of Component Software

A2 - Arbab, Farhad

A2 - Jongmans, Sung-Shik

N1 - Conference code: 16

PY - 2020

Y1 - 2020

U2 - 10.1007/978-3-030-40914-2

DO - 10.1007/978-3-030-40914-2

M3 - Book editing

SN - 978-3-030-40913-5

T3 - Lecture Notes in Computer Science

BT - Formal Aspects of Component Software

PB - Springer Nature Switzerland AG

CY - Cham

Y2 - 23 October 2019 through 25 October 2019

ER -