APA Citation

Coelho, M., Cruz, D. d., Henriques, P. R., & Pinto, J. S. (2011). A visual inspector for Boogie programs.

Chicago Style Citation

Coelho, Márcio, Daniela da Cruz, Pedro Rangel Henriques, and Jorge Sousa Pinto. A Visual Inspector for Boogie Programs. 2011.

MLA Citation

Coelho, Márcio, Daniela da Cruz, Pedro Rangel Henriques, and Jorge Sousa Pinto. A Visual Inspector for Boogie Programs. 2011.

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.