Automated technology for verification and analysis (ATVA 2005): Preface

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	1-3
Number of pages	3
Journal	International Journal of Foundations of Computer Science
Volume	18
Issue number	1
DOIs	https://doi.org/10.1142/S0129054107004541
State	Published - Feb 2007
Externally published	Yes

Access to Document

@article{bd79165c1e064cdd842e3bccb19ba833,

title = "Automated technology for verification and analysis (ATVA 2005): Preface",

author = "Peled, {Doron A.} and Tsay, {Yih Kuen}",

year = "2007",

month = feb,

doi = "10.1142/S0129054107004541",

language = "אנגלית",

volume = "18",

pages = "1--3",

journal = "International Journal of Foundations of Computer Science",

issn = "0129-0541",

publisher = "World Scientific Publishing Co. Pte Ltd",

number = "1",

}

TY - JOUR

T1 - Automated technology for verification and analysis (ATVA 2005)

T2 - Preface

AU - Peled, Doron A.

AU - Tsay, Yih Kuen

PY - 2007/2

Y1 - 2007/2

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

U2 - 10.1142/S0129054107004541

DO - 10.1142/S0129054107004541

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.editorial???

AN - SCOPUS:33846988946

SN - 0129-0541

VL - 18

SP - 1

EP - 3

JO - International Journal of Foundations of Computer Science

JF - International Journal of Foundations of Computer Science

IS - 1

ER -