Preface

Tiziana Margaria; Bernhard Steffen

Preface

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publication	Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings
Editors	Bernhard Steffen, Tiziana Margaria
Publisher	Springer Verlag
Pages	V-VI
ISBN (Print)	9783319471686
Publication status	Published - 2016
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9953 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Cite this

Margaria, T., & Steffen, B. (2016). Preface. In B. Steffen, & T. Margaria (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings (pp. V-VI). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9953 LNCS). Springer Verlag.

Margaria, Tiziana ; Steffen, Bernhard. / Preface. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. editor / Bernhard Steffen ; Tiziana Margaria. Springer Verlag, 2016. pp. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{19014c2741d14d4eb19e9e0d3568795f,

title = "Preface",

author = "Tiziana Margaria and Bernhard Steffen",

year = "2016",

language = "English",

isbn = "9783319471686",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "V--VI",

editor = "Bernhard Steffen and Tiziana Margaria",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",

}

Margaria, T & Steffen, B 2016, Preface. in B Steffen & T Margaria (eds), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9953 LNCS, Springer Verlag, pp. V-VI.

Preface. / Margaria, Tiziana; Steffen, Bernhard.
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. ed. / Bernhard Steffen; Tiziana Margaria. Springer Verlag, 2016. p. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9953 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

TY - CHAP

T1 - Preface

AU - Margaria, Tiziana

AU - Steffen, Bernhard

PY - 2016

Y1 - 2016

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

M3 - Foreword/postscript

AN - SCOPUS:84993208095

SN - 9783319471686

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - V-VI

BT - Leveraging Applications of Formal Methods, Verification and Validation

A2 - Steffen, Bernhard

A2 - Margaria, Tiziana

PB - Springer Verlag

ER -

Margaria T, Steffen B. Preface. In Steffen B, Margaria T, editors, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings. Springer Verlag. 2016. p. V-VI. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Preface

Publication series

Other files and links

Cite this