Supporting Contexts in Program Refinement (1996)

Cached

Download Links

by Ray Nickson , Ian Hayes
Venue:SCIENCE OF COMPUTER PROGRAMMING
Citations:8 - 5 self