Login / Signup

Verifying Correctness of Persistent Concurrent Data Structures.

John DerrickSimon DohertyBrijesh DongolGerhard SchellhornHeike Wehrheim
Published in: FM (2019)
Keyphrases