Ninh-Thuan Truong, Jeanine Souquières. Verification of UML Model Elements Using B. J. Inf. Sci. Eng., 22(2):357-373, 2006. [doi]
@article{TruongS06, title = {Verification of UML Model Elements Using B}, author = {Ninh-Thuan Truong and Jeanine Souquières}, year = {2006}, url = {http://www.iis.sinica.edu.tw/page/jise/2006/200603_08.html}, tags = {UML}, researchr = {https://researchr.org/publication/TruongS06}, cites = {0}, citedby = {0}, journal = {J. Inf. Sci. Eng.}, volume = {22}, number = {2}, pages = {357-373}, }