Cita APA (7a ed.)

Murphy, C., Johnson, K., Reps, T., & D'Antoni, L. (2024). Verifying Solutions to Semantics-Guided Synthesis Problems.

Cita Chicago Style (17a ed.)

Murphy, Charlie, Keith Johnson, Thomas Reps, y Loris D'Antoni. Verifying Solutions to Semantics-Guided Synthesis Problems. 2024.

Cita MLA (9a ed.)

Murphy, Charlie, et al. Verifying Solutions to Semantics-Guided Synthesis Problems. 2024.