Cita APA (7a ed.)
Ryan, K. (2025). Scaling Symbolic Execution for Efficient Security Verification of Hardware. ProQuest Dissertations and Theses.
Cita Chicago Style (17a ed.)
Ryan, Kaki. "Scaling Symbolic Execution for Efficient Security Verification of Hardware." ProQuest Dissertations and Theses 2025.
Cita MLA (9a ed.)
Ryan, Kaki. "Scaling Symbolic Execution for Efficient Security Verification of Hardware." ProQuest Dissertations and Theses, 2025.
Precaución: Estas citas no son 100% exactas.