Search Results for 'Rootabs'

Rootabs published presentations and documents on DocSlides.

Automated and Modular Refinement Reasoning

Automated and Modular Refinement Reasoning

celsa-spraggs
16 Slides

for Concurrent Programs. Shaz Qadeer. The refinem...

Copyright © 2025 DocSlides. All Rights Reserved