Cita APA (7a ed.)
Park, S., Brauße, F., Collins, P., Kim, S., Konečný, M., Lee, G., . . . Ziegler, M. (Jun 21, 2024). Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. arXiv.org. https://doi.org/10.46298/lmcs-20(2:17)2024
Cita Chicago Style (17a ed.)
Park, Sewon, et al. "Semantics, Specification Logic, and Hoare Logic of Exact Real Computation." ArXiv.org Jun 21, 2024. https://doi.org/10.46298/lmcs-20(2:17)2024.
Cita MLA (9a ed.)
Park, Sewon, et al. "Semantics, Specification Logic, and Hoare Logic of Exact Real Computation." ArXiv.org, Jun 21, 2024, https://doi.org/10.46298/lmcs-20(2:17)2024.
Precaución: Estas citas no son 100% exactas.