Supporting contexts in the sequential real-time refinement calculus (1998)

by L Wildman, I Hayes
Venue:International Refinement Workshop & Formal Methods Pacific ’98, Discrete Mathematics and Theoretical Computer Science