Login
From:
alastairreid.github.io
(Uncensored)
subscribe
Dagstuhl: Formal Methods for Correct Persistent Programming – Alastair Reid – Researcher at Intel
https://alastairreid.github.io/dagstuhl/
links
backlinks
Last week, I boarded the train to Wadern, Germany (through London, Paris and Saarbrücken) to attend Dagstuhl seminar 23412 on “Formal Methods for Correct Persistent Programming”.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
