Preface

Sharon Shoham, Yakir Vizel

Research output: Contribution to journalEditorial

Original languageEnglish
Pages (from-to)v-vi
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13371 LNCS
StatePublished - 2022
Event34th International Conference on Computer Aided Verification, CAV 2022 - Haifa, Israel
Duration: 7 Aug 202210 Aug 2022

Cite this