Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria

• Authors:

• Andrew Butterfield;Juan C. Bicarregui;Alvaro Arenas

• Affiliations:

• O'Reilly Institute, Trinity College, Dublin 2, Ireland;CCLRC Rutherford Appleton Laboratory, Chilton, Oxfordshire, UK;CCLRC Rutherford Appleton Laboratory, Chilton, Oxfordshire, UK

• Venue:
• Formal Methods in System Design
• Year:
• 2007