Infinite Lists for Specifying Functional Programs in Z


Martin, A. (1996) Infinite Lists for Specifying Functional Programs in Z. Proc. Australasian Refinement Workshops Published electronically by the University of Queensland, Australia.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 250611
Date Deposited: 14 Jun 1999
Last Modified: 27 Mar 2014 19:51
Publisher: Published electronically by the University of Queensland, Australia
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250611

Actions (login required)

View Item View Item