Beg, A., O'Donoghue, D., & Monahan, R. (2026). Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics.
Style de citation Chicago (17e éd.)Beg, Arshad, Diarmuid O'Donoghue, et Rosemary Monahan. Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics. 2026.
Style de citation MLA (9e éd.)Beg, Arshad, et al. Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.