Proceedings of NZFPDC'00
Padmanabhan Krishnan (Editor)
Department of Computer Science
University of Canterbury
Abstract
Collection of papers presented at The New Zealand Formal Program Development Colloquium-2000 held at the University of Canterbury, 28-29 August 2000.