Sign in

Invariant diagrams with data refinement.

Viorel PreoteasaRalph-Johan Back
Published in: Formal Aspects Comput. (2012)
Keyphrases