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 Wed Oct 9 17:35:16 2024 CEST.