Preface

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

Preface

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

University of Colorado Boulder
University of Lugano

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

langue originale	Anglais
Pages (de - à)	vii-viii
journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13994 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{fe44f2b6b23a4243adc47723c9c5c5eb,

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 = "13994 LNCS",

pages = "vii--viii",

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

issn = "0302-9743",

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

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:85161376053

SN - 0302-9743

VL - 13994 LNCS

SP - vii-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 -