Search Results for 'Tidowns'

Tidowns published presentations and documents on DocSlides.

Automated and Modular Refinement Reasoning

by celsa-spraggs

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