50320865

j

50320865 Truong, Ninh-Thuan Souqui\`eres, Jeanine Verification of UML model elements using B J. Inf. Sci. Eng. 22, No. 2, 357-373 (2006). 2006 EN

http://www.iis.sinica.edu.tw/page/jise/2006/200603_08.html