The long road from ideas to bits and back: a traveller’s guide to verifiable computational research - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

The long road from ideas to bits and back: a traveller’s guide to verifiable computational research

Fichier non déposé

Dates et versions

hal-02999210 , version 1 (10-11-2020)

Identifiants

  • HAL Id : hal-02999210 , version 1

Citer

Konrad Hinsen. The long road from ideas to bits and back: a traveller’s guide to verifiable computational research. 2nd Meeting on Testing and Verification for Computational Science, Mar 2017, Cambridge, United Kingdom. ⟨hal-02999210⟩
30 Consultations
0 Téléchargements

Partager

More