Formal VerificationErik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar · First published 2015Open the Tome