author : Carla Ferreira

Short works

• Using B refinement to analyse compensating business processes. 2003. (In ZB 2003 )