Preface

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	v-vi
Journal	Lecture Notes in Computer Science
Volume	16831 LNCS
State	Published - 2027
Event	3rd International Symposium on AI Verification, SAIV 2026 - Lisbon, Portugal Duration: 24 Jul 2026 → 25 Jul 2026

ASJC Scopus subject areas

@article{bbc8828c47014e8d8e684bfa0c6d76cf,

title = "Preface",

author = "Guy Avni and Christian Schilling",

year = "2027",

language = "English",

volume = "16831 LNCS",

pages = "v--vi",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

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

note = "3rd International Symposium on AI Verification, SAIV 2026 ; Conference date: 24-07-2026 Through 25-07-2026",

}

TY - JOUR

T1 - Preface

AU - Avni, Guy

AU - Schilling, Christian

PY - 2027

Y1 - 2027

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

M3 - Editorial

AN - SCOPUS:105046274144

SN - 0302-9743

VL - 16831 LNCS

SP - v-vi

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 3rd International Symposium on AI Verification, SAIV 2026

Y2 - 24 July 2026 through 25 July 2026

ER -