Login / Signup

Reformulation: A Way to Combine Dynamic Properties and B Refinement.

Françoise BellegardeChristophe DarlotJacques JulliandOlga Kouchnarenko
Published in: FME (2001)
Keyphrases