International Refinement Workshop and Formal Methods Pacific 1998. Work-in-progress papers of IRW/FMP'98, 29 September - 2 October 1998, Canberra, Australia
| Who | Jim Grundy, Martin Schwenke, Trevor Vickers (editors) |
|---|---|
| Where | Joint Computer Science Technical Report TR-CS-98-09. The Australian National University, Department of Computer Science, Canberra ACT 0200, Australia. September 1998. ISBN 0-7315-4801-9 |
| When | September 1998 |
