Introduction

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	13036 LNCS
Publication status	Published - 2021
Event	10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021 - Rhodes, Greece Duration: 17 Oct 2021 → 29 Oct 2021

Cite this

@article{fc3ed4ad5e1043ec8aa9aa273fc7ae2c,

title = "Introduction",

author = "Tiziana Margaria and Bernhard Steffen",

year = "2021",

language = "English",

volume = "13036 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 = "10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021 ; Conference date: 17-10-2021 Through 29-10-2021",

}

TY - JOUR

T1 - Introduction

AU - Margaria, Tiziana

AU - Steffen, Bernhard

PY - 2021

Y1 - 2021

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

M3 - Editorial

AN - SCOPUS:85118129493

SN - 0302-9743

VL - 13036 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 - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021

Y2 - 17 October 2021 through 29 October 2021

ER -