Introduction

Bernhard Steffen; Tiziana Margaria

Introduction

TU Dortmund University

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	v-vi
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13702 LNCS
Publication status	Published - 2022
Event	11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Greece Duration: 22 Oct 2022 → 30 Oct 2022

Cite this

@article{750df48f8a5541a2af68af5a2626ea67,

title = "Introduction",

author = "Bernhard Steffen and Tiziana Margaria",

year = "2022",

language = "English",

volume = "13702 LNCS",

pages = "v--vi",

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

issn = "0302-9743",

note = "11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 ; Conference date: 22-10-2022 Through 30-10-2022",

}

TY - JOUR

T1 - Introduction

AU - Steffen, Bernhard

AU - Margaria, Tiziana

PY - 2022

Y1 - 2022

UR - https://www.scopus.com/pages/publications/85142704776

M3 - Editorial

AN - SCOPUS:85142704776

SN - 0302-9743

VL - 13702 LNCS

SP - v-vi

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

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

T2 - 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022

Y2 - 22 October 2022 through 30 October 2022

ER -

Introduction

Other files and links

Cite this