Communications in Computer and Information Science: Preface

Tiziana Margaria; Bernhard Steffen

Communications in Computer and Information Science: Preface

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	V-VI
Journal	Communications in Computer and Information Science
Volume	17 CCIS
Publication status	Published - 2008
Externally published	Yes
Event	3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008 - Porto Sani, Greece Duration: 13 Oct 2008 → 15 Oct 2008

Cite this

@article{4334368c6be14474aa82caceb010202e,

title = "Communications in Computer and Information Science: Preface",

author = "Tiziana Margaria and Bernhard Steffen",

year = "2008",

language = "English",

volume = "17 CCIS",

pages = "V--VI",

journal = "Communications in Computer and Information Science",

issn = "1865-0929",

note = "3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008 ; Conference date: 13-10-2008 Through 15-10-2008",

}

TY - JOUR

T1 - Communications in Computer and Information Science

T2 - 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008

AU - Margaria, Tiziana

AU - Steffen, Bernhard

PY - 2008

Y1 - 2008

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

M3 - Editorial

AN - SCOPUS:78649891201

SN - 1865-0929

VL - 17 CCIS

SP - V-VI

JO - Communications in Computer and Information Science

JF - Communications in Computer and Information Science

Y2 - 13 October 2008 through 15 October 2008

ER -

Communications in Computer and Information Science: Preface

Other files and links

Cite this