APA (7th ed.) Citation

de Medeiros, M., Liu, P., Li, K. H., Aguirre, A., Birkedal, L., & Tassarotti, J. (2026). Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic.

Chicago Style (17th ed.) Citation

de Medeiros, Markus, Puming Liu, Kwing Hei Li, Alejandro Aguirre, Lars Birkedal, and Joseph Tassarotti. Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic. 2026.

MLA (9th ed.) Citation

de Medeiros, Markus, et al. Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic. 2026.