author : Christophe Darlot

Papers/Articles

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