Karvonen, A., Reuter, D., Rinberg, R., Marks, L., Garriga-Alonso, A., & Warr, K. (2025). DiFR: Inference Verification Despite Nondeterminism.
Chicago-Zitierstil (17. Ausg.)Karvonen, Adam, Daniel Reuter, Roy Rinberg, Luke Marks, Adrià Garriga-Alonso, und Keri Warr. DiFR: Inference Verification Despite Nondeterminism. 2025.
MLA-Zitierstil (9. Ausg.)Karvonen, Adam, et al. DiFR: Inference Verification Despite Nondeterminism. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.