ISoLA 2006 preface

Tiziana Margaria; Bernhard Steffen

doi:10.1109/ISoLA.2006.4

ISoLA 2006 preface

Research output: Contribution to journal › Editorial

Original language	English
Article number	4463682
Pages (from-to)	xi
Journal	Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
DOIs	https://doi.org/10.1109/ISoLA.2006.4
Publication status	Published - 2007
Event	2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006 - Paphos, Cyprus Duration: 15 Nov 2006 → 19 Nov 2006

Access to Document

10.1109/ISoLA.2006.4

Cite this

@article{a7b4caff188840d5b330803d6c0a734f,

title = "ISoLA 2006 preface",

author = "Tiziana Margaria and Bernhard Steffen",

year = "2007",

doi = "10.1109/ISoLA.2006.4",

language = "English",

pages = "xi",

journal = "Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation",

note = "2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006 ; Conference date: 15-11-2006 Through 19-11-2006",

}

TY - JOUR

T1 - ISoLA 2006 preface

AU - Margaria, Tiziana

AU - Steffen, Bernhard

PY - 2007

Y1 - 2007

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

U2 - 10.1109/ISoLA.2006.4

DO - 10.1109/ISoLA.2006.4

M3 - Editorial

AN - SCOPUS:77956439209

SP - xi

JO - Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

JF - Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

M1 - 4463682

T2 - 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006

Y2 - 15 November 2006 through 19 November 2006

ER -

ISoLA 2006 preface

Access to Document

Other files and links

Cite this