A Theory of Program Refinement (1998)

Cached

Download Links

by Ewen W. K. C. Denney
Citations:6 - 1 self