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 | |
Publication status | Published - 29 Nov 2012 |
Externally published | Yes |
Preface
Stefania Gnesi, Tiziana Margaria
Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript