author : Marie-Laure Potet

Short works

• Automatic Construction of Validated B components from Structured Developments. 2000. (In ZB 2000 )
• GeneSyst: a tool to reason about behavioral aspects of B Event specifications: aplication to security properties. 2005. (In ZB 2005 )