UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method

Amel Mammar, RĂ©gine Laleau. UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method. Journal of Database Management, 17(4):70-89, 2006. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: