Model Checking SoftwareFabrizio Biondi, Thomas Given-Wilson, Axel Legay · First published 2019Open the Tome