Preface

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

Preface

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

Résultats de recherche: Contribution à un journal › Éditorial

langue originale	Anglais
Pages (de - à)	v-viii
journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13993 LNCS
état	Publié - 1 janv. 2023
Evénement	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 Durée: 22 avr. 2023 → 27 avr. 2023

Contient cette citation

@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",

publisher = "Springer Verlag",

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 -