Preface

Fritz Henglein; Sharon Shoham; Yakir Vizel; Klaus von Gleissenthall; Troels Henriksen

Preface

Fritz Henglein, Sharon Shoham, Yakir Vizel, Klaus von Gleissenthall, Troels Henriksen

Tel Aviv University, Technion - Israel Institute of Technology

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	v-vii
Journal	Lecture Notes in Computer Science
Volume	12597 LNCS
State	Published - 2021
Event	22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021 - Copenhagen, Denmark Duration: 17 Jan 2021 → 19 Jan 2021

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Computer Science(all)

Cite this

@article{cab2478647f14c7786905ff21af863fb,

title = "Preface",

author = "Fritz Henglein and Sharon Shoham and Yakir Vizel and {von Gleissenthall}, Klaus and Troels Henriksen",

year = "2021",

language = "الإنجليزيّة",

volume = "12597 LNCS",

pages = "v--vii",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

note = "22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021 ; Conference date: 17-01-2021 Through 19-01-2021",

}

TY - JOUR

T1 - Preface

AU - Henglein, Fritz

AU - Shoham, Sharon

AU - Vizel, Yakir

AU - von Gleissenthall, Klaus

AU - Henriksen, Troels

PY - 2021

Y1 - 2021

UR - http://www.scopus.com/inward/record.url?scp=85101584051&partnerID=8YFLogxK

M3 - كلمة العدد

SN - 0302-9743

VL - 12597 LNCS

SP - v-vii

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021

Y2 - 17 January 2021 through 19 January 2021

ER -

Preface

All Science Journal Classification (ASJC) codes

Other files and links

Cite this