APA Citation

Alves, T. M. L. (2006). VooDooM: Support for understanding and re-engineering of VDM-SL specifications.

Chicago Style Citation

Alves, Tiago Miguel Laureano. VooDooM: Support for Understanding and Re-engineering of VDM-SL Specifications. 2006.

MLA Citation

Alves, Tiago Miguel Laureano. VooDooM: Support for Understanding and Re-engineering of VDM-SL Specifications. 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.