Login / Signup

Aspect-oriented linearizability proofs.

Soham ChakrabortyThomas A. HenzingerAli SezginViktor Vafeiadis
Published in: Log. Methods Comput. Sci. (2015)
Keyphrases