Login / Signup

ASM Refinement Preserving Invariants.

Gerhard Schellhorn
Published in: J. Univers. Comput. Sci. (2008)
Keyphrases