Verification, Model Checking, and Abstract InterpretationBernd Finkbeiner, Thomas Wies · First published 2022Open the Tome
Automated Verification of Concurrent Search StructuresSiddharth Krishna, Nisarg Patel, Dennis Elliott Shasha, Thomas Wies · First published 2021Open the Tome
Automated Verification of Concurrent Search StructuresKrishna Siddharth, Patel Nisarg, Shasha Dennis, Wies Thomas · First published 2021Open the Tome
Verified Software. Theories, Tools, and ExperimentsAndrei Paskevich, Thomas Wies · First published 2017Open the Tome
