Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings

Gwen Salaün; Anton Wijs

doi:10.1007/978-3-030-90636-8

Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings

Gwen Salaün (Editor), Anton Wijs (Editor)

Software Engineering and Technology

Research output: Book/Report › Book editing › Academic › peer-review

Original language	English
Place of Publication	Berlin
Publisher	Springer
ISBN (Electronic)	978-3-030-90636-8
ISBN (Print)	978-3-030-90635-1
DOIs	https://doi.org/10.1007/978-3-030-90636-8
Publication status	Published - 2021
Event	17th International Conference on Formal Aspects of Component Software, FACS 2021 - Virtual, Online Duration: 28 Oct 2021 → 29 Oct 2021

Publication series

Name	Lecture Notes in Computer Science
Volume	13077
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Name	Programming and Software Engineering
Volume	13077

Access to Document

10.1007/978-3-030-90636-8

Cite this

@book{d09b4849bbf34242a1b61d22d3614915,

title = "Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings",

editor = "Gwen Sala{\"u}n and Anton Wijs",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.; 17th International Conference on Formal Aspects of Component Software, FACS 2021 ; Conference date: 28-10-2021 Through 29-10-2021",

year = "2021",

doi = "10.1007/978-3-030-90636-8",

language = "English",

isbn = "978-3-030-90635-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

}

Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings. / Salaün, Gwen (Editor); Wijs, Anton (Editor).
Berlin: Springer, 2021. (Lecture Notes in Computer Science; Vol. 13077), (Programming and Software Engineering; Vol. 13077).

Research output: Book/Report › Book editing › Academic › peer-review

TY - BOOK

T1 - Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings

A2 - Salaün, Gwen

A2 - Wijs, Anton

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2021

Y1 - 2021

U2 - 10.1007/978-3-030-90636-8

DO - 10.1007/978-3-030-90636-8

M3 - Book editing

SN - 978-3-030-90635-1

T3 - Lecture Notes in Computer Science

BT - Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings

PB - Springer

CY - Berlin

T2 - 17th International Conference on Formal Aspects of Component Software, FACS 2021

Y2 - 28 October 2021 through 29 October 2021

ER -