author : Sandrine Blazy

Short works

• Reuse of specification patterns with the B method. 2003. (In ZB 2003 )