Preface

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

Original language	English
Title of host publication	Formal Methods for Industrial Critical Systems
Subtitle of host publication	A Survey of Applications
Publisher	John Wiley and Sons
Pages	xvii-xviii
ISBN (Print)	9780470876183
DOIs	https://doi.org/10.1002/9781118459898
Publication status	Published - 29 Nov 2012
Externally published	Yes

Access to Document

@inbook{af6f08cb1ead4e9d8a2e6387e9d135a7,

title = "Preface",

author = "Stefania Gnesi and Tiziana Margaria",

year = "2012",

month = nov,

day = "29",

doi = "10.1002/9781118459898",

language = "English",

isbn = "9780470876183",

pages = "xvii--xviii",

booktitle = "Formal Methods for Industrial Critical Systems",

publisher = "John Wiley and Sons",

}

TY - CHAP

T1 - Preface

AU - Gnesi, Stefania

AU - Margaria, Tiziana

PY - 2012/11/29

Y1 - 2012/11/29

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

U2 - 10.1002/9781118459898

DO - 10.1002/9781118459898

M3 - Foreword/postscript

AN - SCOPUS:84886971859

SN - 9780470876183

SP - xvii-xviii

BT - Formal Methods for Industrial Critical Systems

PB - John Wiley and Sons

ER -