Rafael Magalhães Borges

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Rafael Magalhães Borges, Alexandre Cabral Mota
Integrating UML and Formal Methods. Electron. Notes Theor. Comput. Sci. 184 (2007)