Olga Kouchnarenko

• B 2007: Formal Specification and Development in B
• Formal Aspects of Component Software
• B 2007 : Formal Specification and Development in B