T
Thomas Wies
5 works on record
Works

Verified Software. Theories, Tools, and Experiments
Automated Verification of Concurrent Search Structures
Automated Verification of Concurrent Search Structures
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Programming Languages and Systems
Programming Languages and Systems
Networked Systems
Networked Systems