Login / Signup

Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412).

Ori LahavAzalea RaadJoseph TassarottiViktor VafeiadisAnton Podkopaev
Published in: Dagstuhl Reports (2023)
Keyphrases