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]

Authors

Amel Mammar

This author has not been identified. Look up 'Amel Mammar' in Google

Régine Laleau

This author has not been identified. Look up 'Régine Laleau' in Google