Thomas Wies · 5 obras en el catálogoObrasVerified Software. Theories, Tools, and ExperimentsAAutomated Verification of Concurrent Search StructuresAutomated Verification of Concurrent Search StructuresVVerification, Model Checking, and Abstract InterpretationVerification, Model Checking, and Abstract InterpretationPProgramming Languages and SystemsProgramming Languages and SystemsNNetworked SystemsNetworked Systems
AAutomated Verification of Concurrent Search StructuresAutomated Verification of Concurrent Search Structures
VVerification, Model Checking, and Abstract InterpretationVerification, Model Checking, and Abstract Interpretation
