PProgramming Languages and SystemsProgramming Languages and Systemsde Thomas WiesEdiciones (1)Programming Languages and Systems (2023)Springer · inglés · ISBN 9783031300431Más obras de Thomas WiesVerified Software. Theories, Tools, and ExperimentsAAutomated Verification of Concurrent Search StructuresAutomated Verification of Concurrent Search StructuresVVerification, Model Checking, and Abstract InterpretationVerification, Model Checking, and Abstract Interpretation
AAutomated Verification of Concurrent Search StructuresAutomated Verification of Concurrent Search Structures
VVerification, Model Checking, and Abstract InterpretationVerification, Model Checking, and Abstract Interpretation
