by International Refinement Workshop and Formal Methods Pacific 1998 (1998 Canberra, Australia)
IRW/FMP'98 provides a forum for the discussion of current research on mathematically based techniques for design and development of computer systems, especialloy formal or rigorous methods for deve…