author : Fabrice Bouquet

Short works

• Checking JML specifications with B Machines. 2005. (In ZB 2005 )