Foreword

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	xiii-xiv
ISBN (Print)	9780470876183
DOIs	https://doi.org/10.1002/9781118459898
Publication status	Published - 29 Nov 2012

Access to Document

@inbook{ca04095ebeb248fda13779c30436ca3c,

title = "Foreword",

author = "Mike Hinchey",

year = "2012",

month = nov,

day = "29",

doi = "10.1002/9781118459898",

language = "English",

isbn = "9780470876183",

pages = "xiii--xiv",

booktitle = "Formal Methods for Industrial Critical Systems",

publisher = "John Wiley and Sons",

}

TY - CHAP

T1 - Foreword

AU - Hinchey, Mike

PY - 2012/11/29

Y1 - 2012/11/29

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

U2 - 10.1002/9781118459898

DO - 10.1002/9781118459898

M3 - Foreword/postscript

AN - SCOPUS:84886966810

SN - 9780470876183

SP - xiii-xiv

BT - Formal Methods for Industrial Critical Systems

PB - John Wiley and Sons

ER -