Search Results for ''

published presentations and documents on DocSlides.

Reasoning about Optimistic Concurrency Using a Program Logi

by pasty-toler

Ming Fu. USTC & Yale. Joint work with Yong Li...