Supporting Contexts in the Sequential Real-Time Refinement Calculus (1998)

Cached

Download Links

by Luke Wildman , Luke Wildman , Ian Hayes , Ian Hayes
Venue:International Refinement Workshop & Formal Methods Pacific ’98, Discrete Mathematics and Theoretical Computer Science
Citations:1 - 1 self