Aarhus University logo
Dansk
Kristian Danielsen and Henrik Kragh Sørensen publish "Formal proof and exploratory experimentation: A Lakatosian view on the interplay between…
