Michal Friedman gives a talk at the Dagstuhl Seminar
Michal Friedman gave a talk on "Utilizing Coherence for Persistence" at the external page Dahstuhl 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 page Dahstuhl Seminar on Formal Methods for Correct Persistent Programming at the Schloss Dagstuhl, Germany.