Ninh-Thuan Truong, Jeanine Souquières. Verification of behavioural elements of UML models using B. In Hisham Haddad, Lorie M. Liebrock, Andrea Omicini, Roger L. Wainwright, editors, Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005. pages 1546-1552, ACM, 2005. [doi]
Abstract is missing.