Cita APA (7a ed.)

Lin, Z., Gancher, J., & Parno, B. (2023). WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions.

Cita Chicago Style (17a ed.)

Lin, Zhengyao, Joshua Gancher, y Bryan Parno. WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions. 2023.

Cita MLA (9a ed.)

Lin, Zhengyao, et al. WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions. 2023.