APA Citation

Lourenço, C., Miraldo, V. C., Frade, M. J., & Pinto, J. S. (2013). SPARK-BMC: Checking SPARK code for bugs.

Chicago Style Citation

Lourenço, Cláudio, Victor Cacciari Miraldo, M. J. Frade, and Jorge Sousa Pinto. SPARK-BMC: Checking SPARK Code for Bugs. 2013.

MLA Citation

Lourenço, Cláudio, Victor Cacciari Miraldo, M. J. Frade, and Jorge Sousa Pinto. SPARK-BMC: Checking SPARK Code for Bugs. 2013.

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.