Refinement and Simulation (2000)

by M Poppleton, R Banach, Retrenchment
Venue:in Proceedings of ZB 2000