Numerical Software VerificationSergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar · First published 2017Open the Tome