Zhang, Y. (2024). Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification.
Style de citation Chicago (17e éd.)Zhang, Yuanrui. Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification. 2024.
Style de citation MLA (9e éd.)Zhang, Yuanrui. Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.