1. IWFM 1997: Dublin, Ireland
- Henry McGloughlin, Gerard O'Regan:
1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997. Workshops in Computing, BCS 1997
- Hongji Yang, Yong Sun:
Reverse Engineering and Reusing COBOL Programs: A Program Transformation Approach. IWFM 1997 - Michael Poppleton:
The Single Transferable Voting System: Functional Decomposition in Formal Specification. IWFM 1997 - J. Paul Gibson, Bruno Mermet, Dominique Méry:
Feature Interactions: A Mixed Semantic Model Approach. IWFM 1997 - Danielle C. Fowler, Paul A. Swatman:
Presenting Object Oriented Formal Requirements Specifications: Insights from an Action Research Study. IWFM 1997 - Luming Lai, Jeff W. Sanders:
A Refinement Calculus for Communicating Processes with State. IWFM 1997