Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Butterfield, A., Bicarregui, J.C. & Arenas, A. Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria. Form Method Syst Des 30, 177–178 (2007). https://doi.org/10.1007/s10703-006-0032-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10703-006-0032-z