Seidali Rehab, Elhillali Kerkouche, Allaoua Chaoui. An automatic generation approach of B Specifications From UML Diagrams. In Simon Fong, Pit Pichappan, Sabah Mohammed, Patrick Hung, Sohail Asghar, editors, Seventh International Conference on Digital Information Management, ICDIM 2012, Macau, Macao, August 22-24, 2012. pages 73-78, IEEE, 2012. [doi]
Abstract is missing.