Sciweavers

JISE
2006

Verification of UML Model Elements Using B

13 years 11 months ago
Verification of UML Model Elements Using B
Ninh-Thuan Truong, Jeanine Souquières
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JISE
Authors Ninh-Thuan Truong, Jeanine Souquières
Comments (0)