Preface

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	13965 LNCS
Publication status	Published - 1 Jan 2023
Event	Proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023 - Paris, France Duration: 17 Jul 2023 → 22 Jul 2023

Cite this

@article{1194ba225b86480289e056f9d8e74b7f,

title = "Preface",

author = "Constantin Enea and Akash Lal",

year = "2023",

month = jan,

day = "1",

language = "English",

volume = "13965 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 = "Proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023 ; Conference date: 17-07-2023 Through 22-07-2023",

}

TY - JOUR

T1 - Preface

AU - Enea, Constantin

AU - Lal, Akash

PY - 2023/1/1

Y1 - 2023/1/1

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

M3 - Editorial

AN - SCOPUS:85172183107

SN - 0302-9743

VL - 13965 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 - Proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023

Y2 - 17 July 2023 through 22 July 2023

ER -