Skip navigation
Skip navigation

International Refinement Workshop and Formal Methods Pacific ’98

Australasian Refinement Workshop; New Zealand Formal Program Development Colloquium; International Refinement Workshop and Formal Methods Pacific

Description

The International Refinement Workshop and Formal Methods Pacific 1998 (IRW/FMP'98), as the title suggests, is a combined event. FMP'98 itself incorporates the 7th Australasian Refinement Workshop and the 4th New Zealand Formal Program Development Colloquium, and follows the inaugural FMP'97 in Wellington. The Australasian Refinement Workshop (ARW) series began in 1990, to provide a forum for researchers in program refinement. The New Zealand Formal Program Development Colloquium (NZFPDC)...[Show more]

CollectionsANU Research Publications
Date published: 1998
Type: Book
URI: http://hdl.handle.net/1885/40812

Download

File Description SizeFormat Image
TR-CS-98-09.pdf1.09 MBAdobe PDFThumbnail


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator