Preface

Sriram Sankaranarayanan; Natasha Sharygina; Grigory Fedyukovich; Sergio Mover; Dirk Beyer

Preface

Sriram Sankaranarayanan
, Natasha Sharygina
, Grigory Fedyukovich
, Sergio Mover
, Dirk Beyer

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	v-viii
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13993 LNCS
Publication status	Published - 1 Jan 2023
Event	29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 - Paris, France Duration: 22 Apr 2023 → 27 Apr 2023

Cite this

@article{b201ca30b2d24ed39b52f2bad8b42d5a,

title = "Preface",

author = "Sriram Sankaranarayanan and Natasha Sharygina and Grigory Fedyukovich and Sergio Mover and Dirk Beyer",

year = "2023",

month = jan,

day = "1",

language = "English",

volume = "13993 LNCS",

pages = "v--viii",

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

issn = "0302-9743",

note = "29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 ; Conference date: 22-04-2023 Through 27-04-2023",

}

TY - JOUR

T1 - Preface

AU - Sankaranarayanan, Sriram

AU - Sharygina, Natasha

AU - Fedyukovich, Grigory

AU - Mover, Sergio

AU - Beyer, Dirk

PY - 2023/1/1

Y1 - 2023/1/1

M3 - Editorial

AN - SCOPUS:85161394645

SN - 0302-9743

VL - 13993 LNCS

SP - v-viii

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 - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023

Y2 - 22 April 2023 through 27 April 2023

ER -