Inproceedings,

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

, , and .
SAC, page 1840-1844. ACM, (2006)

Meta data

Tags

Users

  • @dblp
  • @leonardo

Comments and Reviews