Preface

Research output: Contribution to journal › Editorial

Original language	English
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8855
State	Published - 2014
Event	10th International Haifa Verification Conference, HVC 2014 - Haifa, Israel Duration: 18 Nov 2014 → 20 Nov 2014

All Science Journal Classification (ASJC) codes

@article{4afb95c188444bbfb474fb3338924f3f,

title = "Preface",

author = "Eran Yahav",

year = "2014",

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

volume = "8855",

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 = "10th International Haifa Verification Conference, HVC 2014 ; Conference date: 18-11-2014 Through 20-11-2014",

}

TY - JOUR

T1 - Preface

AU - Yahav, Eran

PY - 2014

Y1 - 2014

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

M3 - كلمة العدد

SN - 0302-9743

VL - 8855

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 - 10th International Haifa Verification Conference, HVC 2014

Y2 - 18 November 2014 through 20 November 2014

ER -