Number of items: 1.
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 Tue Sep 16 16:28:05 2025 CEST.