Houda Fekih

Transformation of B specifications into UML class diagrams and state machines

Stephan Merz, Houda Fekih, Leila Jemni Ben Ayed, 2006, SAC '06.

Proof-oriented development of computer-based systems

Dominique Cansell, Dominique Méry, Stephan Merz, 2005 .

Translating B machines into UML diagrams

Stephan Merz, Houda Fekih, 2002 .