Hanus, M. (2024). Inferring Non-Failure Conditions for Declarative Programs.
Cita Chicago Style (17a ed.)Hanus, Michael. Inferring Non-Failure Conditions for Declarative Programs. 2024.
Cita MLA (9a ed.)Hanus, Michael. Inferring Non-Failure Conditions for Declarative Programs. 2024.
Precaución: Estas citas no son 100% exactas.