APA Citation

Cruz, D. d. (2011). Verification, slicing, and visualization of programs with contracts.

Chicago Style Citation

Cruz, Daniela da. Verification, Slicing, and Visualization of Programs With Contracts. 2011.

MLA Citation

Cruz, Daniela da. Verification, Slicing, and Visualization of Programs With Contracts. 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.