Preface

Research output: Contribution to journal › Editorial

Original language	English
Article number	9283635
Pages (from-to)	V-VI
Journal	Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020
State	Published - 21 Sep 2020
Event	20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 - Virtual, Haifa, Israel Duration: 21 Sep 2020 → 24 Sep 2020

All Science Journal Classification (ASJC) codes

@article{78b88efffc36466a9aec913cfe69b2c1,

title = "Preface",

author = "Ofer Strichman and Alexander Ivrii",

year = "2020",

month = sep,

day = "21",

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

pages = "V--VI",

note = "20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 ; Conference date: 21-09-2020 Through 24-09-2020",

}

TY - JOUR

T1 - Preface

AU - Strichman, Ofer

AU - Ivrii, Alexander

PY - 2020/9/21

Y1 - 2020/9/21

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

M3 - كلمة العدد

SP - V-VI

JO - Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020

JF - Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020

M1 - 9283635

T2 - 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020

Y2 - 21 September 2020 through 24 September 2020

ER -