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