Search Results for 'ricardo 2011'

ricardo 2011 published presentations and documents on DocSlides.

On Using Separation Logic to Detect Snapshot Isolation Ano

by stefany-barnette

Ricardo . Dias. , . Jo. ão. . Lourenço. , . Jo...

H->

by tatyana-admore

bb Weekly Meeting. Ricardo . Gonçalo. (RHUL). H...