Cita APA (7th ed.)
de Jesus, R. P. (2024). Evaluating High-Level SystemC Formal Verification Compared to RTL Verification. PQDT - Global.
Cita Chicago (17th ed.)
de Jesus, Renato Pedrosa. "Evaluating High-Level SystemC Formal Verification Compared to RTL Verification." PQDT - Global 2024.
Cita MLA (9th ed.)
de Jesus, Renato Pedrosa. "Evaluating High-Level SystemC Formal Verification Compared to RTL Verification." PQDT - Global, 2024.
Atenció: Aquestes cites poden no estar 100% correctes.