[ACM Press the 2006 ACM symposium - Dijon, France (2006.04.23-2006.04.27)] Proceedings of the 2006 ACM symposium on Applied computing - SAC '06 - Transformation of B specifications into UML class diagrams and state machines
Fekih, Houda, Ayed, Leila Jemni Ben, Merz, StephanYear:
2006
Language:
english
DOI:
10.1145/1141277.1141709
File:
PDF, 642 KB
english, 2006