A Real-Time Refinement Calculus That Changes Only Time (1996)

Cached

Download Links

by Mark Utting , Colin Fidge
Venue:PROC. 7TH BCS/FACS REFINEMENT WORKSHOP, ELECTRONIC WORKSHOPS IN COMPUTING
Citations:22 - 12 self