Numerical Software VerificationSergiy Bogomolov, Matthieu Martel, Pavithra PrabhakarHäftad, 2017577 kr