Preface

Ofer Strichman, Rachel Tzoref-Brill

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	V-VI
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10629 LNCS
State	Published - 2017
Event	13th International Haifa Verification Conference, HVC 2017 - Haifa, Israel Duration: 13 Nov 2017 → 15 Nov 2017

All Science Journal Classification (ASJC) codes

@article{871f6687c13041deb543fd86a4ab3c1c,

title = "Preface",

author = "Ofer Strichman and Rachel Tzoref-Brill",

year = "2017",

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

volume = "10629 LNCS",

pages = "V--VI",

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 = "13th International Haifa Verification Conference, HVC 2017 ; Conference date: 13-11-2017 Through 15-11-2017",

}

TY - JOUR

T1 - Preface

AU - Strichman, Ofer

AU - Tzoref-Brill, Rachel

PY - 2017

Y1 - 2017

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

M3 - كلمة العدد

SN - 0302-9743

VL - 10629 LNCS

SP - V-VI

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 - 13th International Haifa Verification Conference, HVC 2017

Y2 - 13 November 2017 through 15 November 2017

ER -