Karvonen, A., Reuter, D., Rinberg, R., Marks, L., Garriga-Alonso, A., & Warr, K. (2025). DiFR: Inference Verification Despite Nondeterminism.
Chicago Style (17th ed.) CitationKarvonen, Adam, Daniel Reuter, Roy Rinberg, Luke Marks, Adrià Garriga-Alonso, and Keri Warr. DiFR: Inference Verification Despite Nondeterminism. 2025.
MLA (9th ed.) CitationKarvonen, Adam, et al. DiFR: Inference Verification Despite Nondeterminism. 2025.
Warning: These citations may not always be 100% accurate.