Login / Signup

State-level and value-level simulations in data refinement.

William LealAnish Arora
Published in: Inf. Process. Lett. (2001)
Keyphrases