UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method.Published in:Journal of Database Management, 2006, v. 17, n. 4, p. 70, doi. 10.4018/jdm.2006100104By:Mammar, Amel;Laleau, RéginePublication type:Article