Preface

Stefania Gnesi, Tiziana Margaria

Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems
Subtitle of host publicationA Survey of Applications
PublisherJohn Wiley and Sons
Pagesxvii-xviii
ISBN (Print)9780470876183
DOIs
Publication statusPublished - 29 Nov 2012
Externally publishedYes

Cite this