Kopinsky, M., Pientka, B., & Si, X. (Aug 16, 2024). Modernizing SMT-Based Type Error Localization. arXiv.org.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Chicago-Zitierstil (17. Ausg.)
Kopinsky, Max, Brigitte Pientka, und Xujie Si. "Modernizing SMT-Based Type Error Localization."
ArXiv.org Aug 16, 2024.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
MLA-Zitierstil (9. Ausg.)
Kopinsky, Max, et al. "Modernizing SMT-Based Type Error Localization."
ArXiv.org, Aug 16, 2024.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.