Meinicke, L. A., & Hayes, I. J. (2024). Reasoning about distributive laws in a concurrent refinement algebra.
Cita Chicago Style (17a ed.)Meinicke, Larissa A., y Ian J. Hayes. Reasoning About Distributive Laws in a Concurrent Refinement Algebra. 2024.
Cita MLA (9a ed.)Meinicke, Larissa A., y Ian J. Hayes. Reasoning About Distributive Laws in a Concurrent Refinement Algebra. 2024.
Precaución: Estas citas no son 100% exactas.