Cita APA (7a ed.)

Haselwarter, P. G., Li, K. H., de Medeiros, M., Gregersen, S. O., Aguirre, A., Tassarotti, J., & Birkedal, L. (2024). Tachis: Higher-Order Separation Logic with Credits for Expected Costs.

Cita Chicago Style (17a ed.)

Haselwarter, Philipp G., Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, y Lars Birkedal. Tachis: Higher-Order Separation Logic with Credits for Expected Costs. 2024.

Cita MLA (9a ed.)

Haselwarter, Philipp G., et al. Tachis: Higher-Order Separation Logic with Credits for Expected Costs. 2024.