author : Nicolas Stouls

Short works

• GeneSyst: a tool to reason about behavioral aspects of B Event specifications: aplication to security properties. 2005. (In ZB 2005 )