R. Borges and A. Mota, “Integrating UML and Formal Methods,” Electronic Notes in Theoretical Computer Science, Vol. 184, 2003, pp. 97-112. doi:10.1016/j.entcs.2007.03.017
has been cited by the following article:
Related Articles: