Login / Signup

Fusion and Simultaneous Execution in the Refinement Calculus.

Ralph-Johan BackMichael J. Butler
Published in: Acta Informatica (1998)
Keyphrases