Magaud, N. (2024). Towards Automatic Transformations of Coq Proof Scripts.
Style de citation Chicago (17e éd.)Magaud, Nicolas. Towards Automatic Transformations of Coq Proof Scripts. 2024.
Style de citation MLA (9e éd.)Magaud, Nicolas. Towards Automatic Transformations of Coq Proof Scripts. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.