Testing versus proving in climate impact research - Ionescu, Cezar; Jansson, Patrik (Leibniz International Proceedings in Informatics, LIPIcs, 2013)