Preface

Carla Ferreira; Tim A.C. Willemse

Preface

Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

Original language	English
Title of host publication	Software engineering and formal methods
Subtitle of host publication	21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Pages	v-vi
Publication status	Published - 2023
Event	21st International Conference on Software Engineering and Formal Methods, SEFM 2023 - Eindhoven, Netherlands Duration: 6 Nov 2023 → 10 Nov 2023

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	14323 LNCS
ISSN (Print)	0302-9743

Conference

Conference	21st International Conference on Software Engineering and Formal Methods, SEFM 2023
Country/Territory	Netherlands
City	Eindhoven
Period	6/11/23 → 10/11/23

Cite this

@inbook{587efb1b1e7442a090908eb2109c0073,

title = "Preface",

author = "Carla Ferreira and Willemse, {Tim A.C.}",

year = "2023",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "v--vi",

booktitle = "Software engineering and formal methods",

note = "21st International Conference on Software Engineering and Formal Methods, SEFM 2023 ; Conference date: 06-11-2023 Through 10-11-2023",

}

Ferreira, C & Willemse, TAC 2023, Preface. in Software engineering and formal methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14323 LNCS, pp. v-vi, 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, Eindhoven, Netherlands, 6/11/23.

Preface. / Ferreira, Carla; Willemse, Tim A.C.
Software engineering and formal methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. 2023. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14323 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

TY - CHAP

T1 - Preface

AU - Ferreira, Carla

AU - Willemse, Tim A.C.

PY - 2023

Y1 - 2023

UR - http://www.scopus.com/inward/record.url?scp=85177427464&partnerID=8YFLogxK

M3 - Foreword/editorial

AN - SCOPUS:85177427464

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - v-vi

BT - Software engineering and formal methods

T2 - 21st International Conference on Software Engineering and Formal Methods, SEFM 2023

Y2 - 6 November 2023 through 10 November 2023

ER -

Preface

Publication series

Conference

Other files and links

Cite this