APA Citation

OLIVEIRA, E. A. d. S. (2006). Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código.

Chicago Style Citation

OLIVEIRA, Elthon Allex da Silva. Uma Técnica Para Modelagem E Verificação De Programas JAVA Concorrentes Auxiliada Por Anotações De Código. 2006.

MLA Citation

OLIVEIRA, Elthon Allex da Silva. Uma Técnica Para Modelagem E Verificação De Programas JAVA Concorrentes Auxiliada Por Anotações De Código. 2006.

Note: citation formatting may not correspond 100% to that defined by the respective standard, to manage citations it is recommended to use the software Zotero , which allows the automatic upload of Oasisbr references.