Number of items: 1.
Article
Chakraborty, Soham and Henzinger, Thomas A. and Sezgin, Ali and Vafeiadis, Viktor
(2015)
Aspect-oriented linearizability proofs.
Logical Methods in Computer Science, 11 (1).
This list was generated on Wed Oct 8 19:20:42 2025 CEST.