author : Christophe Darlot

Short works

• Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. 2000. (In ZB 2000 )
• Refinement preserves PLTL properties. 2003. (In ZB 2003 )