author : Jeanine Souquieres

Short works

• A Systematic Approach to Transform OMT Diagrams to a B Specification. 1999. (In FM'99 volume 1 )