Login / Signup

Verifying correctness of persistent concurrent data structures: a sound and complete method.

John DerrickSimon DohertyBrijesh DongolGerhard SchellhornHeike Wehrheim
Published in: Formal Aspects Comput. (2021)
Keyphrases