A Tool for Developing Correct Programs By Refinement (1996)

Cached

Download Links

by D. Carrington , I. Hayes , R. Nickson , G. Watson , J. Welsh
Venue:PROC. BCS 7TH REFINEMENT WORKSHOP
Citations:13 - 4 self

Document Versions

A Tool for Developing Correct Programs By Refinement –D. Carrington, I. Hayes, R. Nickson, G. Watson, J. Welsh — 1996 — PROC. BCS 7TH REFINEMENT WORKSHOP