Sousa, M. A. M. (2022). Formalization of deep learning techniques with the Why3 proof platform.
Chicago Style CitationSousa, Márcio Alexandre Mota. Formalization of Deep Learning Techniques With the Why3 Proof Platform. 2022.
MLA CitationSousa, Márcio Alexandre Mota. Formalization of Deep Learning Techniques With the Why3 Proof Platform. 2022.
Note: citation formatting may not correspond 100% to that defined by the respective standard, to manage citations it is recommended to use the software Zotero
, which allows the automatic upload of Oasisbr references.