@leonardo

Transformation of B specifications into UML class diagrams and state machines

, , und . SAC '06: Proceedings of the 2006 ACM symposium on Applied computing, Seite 1840--1844. New York, NY, USA, ACM Press, (2006)
DOI: 10.1145/1141277.1141709

Links und Ressourcen

Tags

Community

  • @dblp
  • @leonardo
@leonardos Tags hervorgehoben