Wies, Thomas

Vis mig kun

Automated Verification of Concurrent Search Structures

Automated Verification of Concurrent Search Structures

Wies, Thomas

473,39 DKK

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Wies, Thomas

802,25 DKK