skip to main content

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

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.