Leveraging applications of formal methods, verification and validation: Technologies for mastering change

Tiziana Margaria; Bernhard Steffen

doi:10.1007/978-3-662-45234-9

Leveraging applications of formal methods, verification and validation: Technologies for mastering change

Tiziana Margaria
, Bernhard Steffen

TU Dortmund University

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	2
Number of pages	1
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8802
DOIs	https://doi.org/10.1007/978-3-662-45234-9
Publication status	Published - 2014
Event	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Greece Duration: 8 Oct 2014 → 11 Oct 2014

Access to Document

10.1007/978-3-662-45234-9

Cite this

@article{947687a8b48a43b887606dbc77afcbc8,

title = "Leveraging applications of formal methods, verification and validation: Technologies for mastering change",

author = "Tiziana Margaria and Bernhard Steffen",

year = "2014",

doi = "10.1007/978-3-662-45234-9",

language = "English",

volume = "8802",

pages = "2",

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

issn = "0302-9743",

note = "6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 ; Conference date: 08-10-2014 Through 11-10-2014",

}

TY - JOUR

T1 - Leveraging applications of formal methods, verification and validation

T2 - 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

AU - Margaria, Tiziana

AU - Steffen, Bernhard

PY - 2014

Y1 - 2014

UR - https://www.scopus.com/pages/publications/84910618430

U2 - 10.1007/978-3-662-45234-9

DO - 10.1007/978-3-662-45234-9

M3 - Editorial

AN - SCOPUS:84910618430

SN - 0302-9743

VL - 8802

SP - 2

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)

Y2 - 8 October 2014 through 11 October 2014

ER -

Leveraging applications of formal methods, verification and validation: Technologies for mastering change

Access to Document

Other files and links

Cite this