De Angelis, E., Fioravanti, F., & Proietti, M. (Aug 7, 2020). Transformational Verification of Quicksort. arXiv.org. https://doi.org/10.4204/EPTCS.320.7
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita Chicago Style (17a ed.)
De Angelis, Emanuele, Fabio Fioravanti, y Maurizio Proietti. "Transformational Verification of Quicksort."
ArXiv.org Aug 7, 2020. https://doi.org/10.4204/EPTCS.320.7.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Cita MLA (9a ed.)
De Angelis, Emanuele, et al. "Transformational Verification of Quicksort."
ArXiv.org, Aug 7, 2020, https://doi.org/10.4204/EPTCS.320.7.
Copiado correctamente al portapapeles
Error al copiar al portapapeles
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.