Refinement Calculus, Part I: Sequential Nondeterministic Programs (1989)

Cached

Download Links

by R. J. R. Back , J. von Wright
Venue:STEPWISE REFINEMENT OF DISTRIBUTED SYSTEMS: MODELS, FORMALISMS, CORRECTNESS. PROCEEDINGS. 1989, VOLUME 430 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:55 - 3 self