Preface

Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	v
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	14846 LNCS
State	Published - 2024
Event	1st International Symposium on AI Verification, SAIV 2024 - Montreal, Canada Duration: 22 Jul 2024 → 23 Jul 2024

ASJC Scopus subject areas

@article{98815ff24f304c20a87373876bddc1c1,

title = "Preface",

author = "Guy Avni and Mirco Giacobbe and Johnson, \{Taylor T.\} and Guy Katz and Anna Lukina and Nina Narodytska and Christian Schilling",

year = "2024",

language = "English",

volume = "14846 LNCS",

pages = "v",

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

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "1st International Symposium on AI Verification, SAIV 2024 ; Conference date: 22-07-2024 Through 23-07-2024",

}

TY - JOUR

T1 - Preface

AU - Avni, Guy

AU - Giacobbe, Mirco

AU - Johnson, Taylor T.

AU - Katz, Guy

AU - Lukina, Anna

AU - Narodytska, Nina

AU - Schilling, Christian

PY - 2024

Y1 - 2024

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

M3 - Editorial

SN - 0302-9743

VL - 14846 LNCS

SP - v

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 - 1st International Symposium on AI Verification, SAIV 2024

Y2 - 22 July 2024 through 23 July 2024

ER -