FMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems: Foreword

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	iii
Journal	FMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems
Publication status	Published - 2005
Externally published	Yes
Event	FMICS'05 - 10th International Workshop on Formal Methods for Industrial Critical Systems - Lisbon, Portugal Duration: 5 Sept 2005 → 6 Sept 2005

Cite this

@article{86b0bd7c5802493da316f460eff4eb76,

title = "FMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems: Foreword",

author = "Tiziana Margaria and Mieke Massink",

year = "2005",

language = "English",

pages = "iii",

journal = "FMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems",

note = "FMICS'05 - 10th International Workshop on Formal Methods for Industrial Critical Systems ; Conference date: 05-09-2005 Through 06-09-2005",

}

TY - JOUR

T1 - FMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems

T2 - FMICS'05 - 10th International Workshop on Formal Methods for Industrial Critical Systems

AU - Margaria, Tiziana

AU - Massink, Mieke

PY - 2005

Y1 - 2005

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

M3 - Editorial

AN - SCOPUS:33749036312

SP - iii

JO - FMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems

JF - FMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems

Y2 - 5 September 2005 through 6 September 2005

ER -