Thomas Wies

ספרים שבהם Thomas Wies מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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