Rafael Magalhães Borges

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2007
j1		Rafael Magalhães Borges, Alexandre Cabral Mota: Integrating UML and Formal Methods. Electr. Notes Theor. Comput. Sci. 184: 97-112 (2007)

Coauthor Index

Alexandre Mota (Alexandre Cabral Mota)

Last update Tue May 21 10:30:08 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page