Sign in

Sound Atomicity Inference for Data-Centric Synchronization.

Hervé PaulinoAna Almeida MatosJan CederquistMarco GiuntiJoão MatosAntónio Ravara
Published in: CoRR (2023)
Keyphrases