Formal Verification, Scientific Code, and the Epistemological Heterogeneity of Computational Science
Imbert, Cyrille ; Ardourel, Vincent
Philosophy of science, 2023-04, Vol.90 (2), p.376-394
[Periódico revisado por pares]
Cambridge: Cambridge University Press
Texto completo disponível