Requirements for a Program Refinement Engine (1995)

Cached

Download Links

by David Carrington , Ian Hayes , Ray Nickson , Geoffrey Watson , Jim Welsh
Venue:PATTER RECOGNITION LETTERS
Citations:1 - 0 self