Michal Friedman gives a talk at the Dagstuhl Seminar
Michal Friedman gave a talk on "Utilizing Coherence for Persistence" at the external pageDahstuhl Seminar on Formal Methods for Correct Persistent Programming at the Schloss Dagstuhl, Germany.
Michal Friedman gave a talk on "Utilizing Coherence for Persistence" at the external pageDahstuhl Seminar on Formal Methods for Correct Persistent Programming at the Schloss Dagstuhl, Germany.