50331476

j

50331476 Bouabana-Tebibel, Thouraya Belmesk, Mounira An object-oriented approach to formally analyze the UML 2.0 activity partitions Information & Software Technology 49, No. 9-10, 999-1016 (2007). 2007 EN

doi:10.1016/j.infsof.2006.10.007