Gurevich, A. (2025). Reproduction Package for Evaluation of Bachleors Thesis 'Integrate Solver Indepenedent Quantifier Elimination using UltimateEliminator in JavaSMT with Subsequent Evaluation in CPAchecker'. Zenodo.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Gurevich, Anastasia. Reproduction Package for Evaluation of Bachleors Thesis 'Integrate Solver Indepenedent Quantifier Elimination Using UltimateEliminator in JavaSMT with Subsequent Evaluation in CPAchecker'. Zenodo, 2025.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Gurevich, Anastasia. Reproduction Package for Evaluation of Bachleors Thesis 'Integrate Solver Indepenedent Quantifier Elimination Using UltimateEliminator in JavaSMT with Subsequent Evaluation in CPAchecker'. Zenodo, 2025.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.