Login / Signup

Ready-Simulation Is Not Ready to Express a Modular Refinement Relation.

Françoise BellegardeJacques JulliandOlga Kouchnarenko
Published in: FASE (2000)
Keyphrases