| 2007 | ||
|---|---|---|
| j1 | Rafael Magalhães Borges, Alexandre Cabral Mota: Integrating UML and Formal Methods. Electr. Notes Theor. Comput. Sci. 184: 97-112 (2007) | |
| 1 | Alexandre Mota (Alexandre Cabral Mota) |
Data released under the ODC-BY 1.0 license — See also our legal information page