author : Frederic Gervais

Short works

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