APA (7th ed.) Citation

Kopinsky, M., Pientka, B., & Si, X. (2024). Modernizing SMT-Based Type Error Localization.

Chicago Style (17th ed.) Citation

Kopinsky, Max, Brigitte Pientka, and Xujie Si. Modernizing SMT-Based Type Error Localization. 2024.

MLA (9th ed.) Citation

Kopinsky, Max, et al. Modernizing SMT-Based Type Error Localization. 2024.