International Refinement Workshop, Formal Methods Pacific 1998 : work-in-progress paper of IRW/FMP'98 29 September - 2 October 1998 Canberra, Australia / Jim Grundy, Martin Schwenke, Trevor Vickers (eds.)

Request this item

Request this item to view in the Library’s reading room.

Loading...