Skip to content

Transformation of B specifications into UML class diagrams and state machines.

Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz

Year2006
ProceedingsSAC

Browse the full SAC paper archive.