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]

Abstract

Abstract is missing.