Citazione Stile APA (7a Edizione)
Tucker, E. (2025). Formal Verification of Source-to-Source Transformations for High-Level Synthesis. ProQuest Dissertations and Theses.
Citazione stile Chigago Style (17a edizione)
Tucker, Emily. "Formal Verification of Source-to-Source Transformations for High-Level Synthesis." ProQuest Dissertations and Theses 2025.
Citatione MLA (9a ed.)
Tucker, Emily. "Formal Verification of Source-to-Source Transformations for High-Level Synthesis." ProQuest Dissertations and Theses, 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.