Schöpf, J., & Middeldorp, A. (2025). Automated Analysis of Logically Constrained Rewrite Systems using crest.
Cita Chicago Style (17a ed.)Schöpf, Jonas, y Aart Middeldorp. Automated Analysis of Logically Constrained Rewrite Systems Using Crest. 2025.
Cita MLA (9a ed.)Schöpf, Jonas, y Aart Middeldorp. Automated Analysis of Logically Constrained Rewrite Systems Using Crest. 2025.
Precaución: Estas citas no son 100% exactas.