Dynamic graphical UML views from formal B specifications.
Saved in:
| Title: | Dynamic graphical UML views from formal B specifications. |
|---|---|
| Authors: | Idani, Akram, Ledru, Yves |
| Source: | Information & Software Technology; March 2006, Vol. 48 Issue 3, p154-169, 16p |
| Database: | Applied Science & Technology Source |
| ISSN: | 09505849 |
|---|---|
| DOI: | 10.1016/j.infsof.2005.03.008 |
