Login / Signup

ASM refinement and generalizations of forward simulation in data refinement: a comparison.

Gerhard Schellhorn
Published in: Theor. Comput. Sci. (2005)
Keyphrases