Software VerificationMaria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel · First published 2020Open the Tome