A Caltech Library Service

Mechanized Support for Stepwise Refinement

Van de Snepscheut, Jan L. A. (1994) Mechanized Support for Stepwise Refinement. California Institute of Technology . (Unpublished)

Postscript - Accepted Version
See Usage Policy.

PDF - Accepted Version
See Usage Policy.


Use this Persistent URL to link to this item:


No abstract available.

Item Type:Report or Paper (Technical Report)
Group:Computer Science Technical Reports
Other Numbering System:
Other Numbering System NameOther Numbering System ID
Computer Science Technical Reports94-01
Record Number:CaltechCSTR:1994.cs-tr-94-01
Persistent URL:
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:26781
Deposited By: Imported from CaltechCSTR
Deposited On:25 Apr 2001
Last Modified:18 Feb 2015 19:29

Repository Staff Only: item control page