Thomas Wies
Thomas Wies
1 books in the database
Books
Co-authored books and collections
Books that list Thomas Wies among their authors but not as the lead author: co-written works, collections and compilations.
Networked SystemsDavid Mohaisen
Networked Systems
David Mohaisen · 2023
Verification, Model Checking, and Abstract InterpretationBernd Finkbeiner
Verification, Model Checking, and Abstract Interpretation
Bernd Finkbeiner · 2022
Automated Verification of Concurrent Search StructuresSiddharth Krishna
Automated Verification of Concurrent Search Structures
Siddharth Krishna · 2021
Verified Software. Theories, Tools, and ExperimentsAndrei Paskevich
Verified Software. Theories, Tools, and Experiments
Andrei Paskevich · 2017