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",

}