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.
Cita Chicago Style (17a ed.)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.
Cita MLA (9a ed.)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.
Precaución: Estas citas no son 100% exactas.